Institutional Repository | Partnering learners and industry for success through workforce development

An explicit model of belief change for cryptographic protocol verification

Digital Document

DGI Image Discovery Discovered Image

repository_658-Thumbnail Image.png

An action description language for iterated belief change

Digital Document

DGI Image Discovery Discovered Image

repository_659-Thumbnail Image.png

Iterated belief change due to actions and observations

Digital Document

DGI Image Discovery Discovered Image

repository_652-Thumbnail Image.png

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

Digital Document

DGI Image Discovery Discovered Image

repository_653-Thumbnail Image.png

Limiting cases for spectrum closure results

Digital Document

DGI Image Discovery Discovered Image

repository_663-Thumbnail Image.png

Adding modal operators to the action language A

Digital Document

DGI Image Discovery Discovered Image

repository_664-Thumbnail Image.png

Spectrum hierarchies and subdiagonal functions

Digital Document

DGI Image Discovery Discovered Image

repository_665-Thumbnail Image.png

Trust-sensitive belief revision

Digital Document

DGI Image Discovery Discovered Image

repository_642-Thumbnail Image.png

Arbitrary announcements in propositional belief revision

Digital Document

DGI Image Discovery Discovered Image

repository_643-Thumbnail Image.png

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

Digital Document

DGI Image Discovery Discovered Image

repository_644-Thumbnail Image.png