Cryptography

Belief change and cryptographic protocol verification

Digital Document

DGI Image Discovery Discovered Image

repository_657-Thumbnail Image.png

An explicit model of belief change for cryptographic protocol verification

Digital Document

DGI Image Discovery Discovered Image

repository_658-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

Modelling cryptographic protocols in a theory of action

Digital Document

DGI Image Discovery Discovered Image

repository_655-Thumbnail Image.png