BCIT Citations Collection

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

Results per page

Displaying 1 - 15 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