BCIT Citations Collection

Description
Collection of published works from BCIT researchers, faculty, and instructors.
Member of
BCIT Scholarly Community
Displaying 1 - 33 of 33

Results per page

Displaying 1 - 33 of 33

A declarative model for reasoning about form security

repository_646-Thumbnail Image.png

A logical approach to promoting trust over knowledge to trust over action

repository_637-Thumbnail Image.png

Adding modal operators to the action language A

repository_664-Thumbnail Image.png

An action description language for iterated belief change

repository_659-Thumbnail Image.png

An explicit model of belief change for cryptographic protocol verification

repository_658-Thumbnail Image.png

Arbitrary announcements in propositional belief revision

repository_643-Thumbnail Image.png

Belief change and cryptographic protocol verification

repository_657-Thumbnail Image.png

Belief change in the context of fallible actions and observations

repository_660-Thumbnail Image.png

Belief change with uncertain action histories

repository_641-Thumbnail Image.png

Belief manipulation and message meaning for protocol analysis

repository_647-Thumbnail Image.png

Belief manipulation through propositional announcements

Belief modeling for maritime surveillance

repository_654-Thumbnail Image.png

Belief revision and trust

repository_648-Thumbnail Image.png

Belief revision on modal accessibility relations

Bluetooth for decoy systems: a practical study

repository_633-Thumbnail Image.png

Dynamic plan management in the context of a recognized air picture

repository_656-Thumbnail Image.png

Exploiting known vulnerabilities of a smart thermostat

repository_639-Thumbnail Image.png

Exploring power storage profiles for vehicle to grid systems

repository_645-Thumbnail Image.png

Iterated belief change due to actions and observations

repository_652-Thumbnail Image.png

Iterated belief change: a transition system approach

repository_661-Thumbnail Image.png

Limiting cases for spectrum closure results

repository_663-Thumbnail Image.png

Mobile forensics for cloud data: practical and legal considerations

repository_638-Thumbnail Image.png

Modelling cryptographic protocols in a theory of action

repository_655-Thumbnail Image.png

On keeping secrets: intelligent agents and the ethics of information hiding

repository_644-Thumbnail Image.png

On the representation and verification of cryptographic protocols in a theory of action

repository_653-Thumbnail Image.png

Ordinal conditional functions for nearly counterfactual revision

repository_640-Thumbnail Image.png

Ranking functions for belief change: a uniform approach to belief revision and belief progression

Security and trust for surveillance cameras

repository_634-Thumbnail Image.png

Spectrum hierarchies and subdiagonal functions

repository_665-Thumbnail Image.png

Structured documents: signatures and deception

repository_651-Thumbnail Image.png

Trust as a precursor to belief revision

repository_746_0-Thumbnail Image.png

Trust-sensitive belief revision

repository_642-Thumbnail Image.png

Using ranking functions to determine plausible action histories

repository_662-Thumbnail Image.png