Hunter, Aaron

Using ranking functions to determine plausible action histories

Digital Document

DGI Image Discovery Discovered Image

repository_662-Thumbnail Image.png

Belief revision and trust

Digital Document

DGI Image Discovery Discovered Image

repository_648-Thumbnail Image.png

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

Digital Document

Belief revision on modal accessibility relations

Digital Document

Structured documents: signatures and deception

Digital Document

DGI Image Discovery Discovered Image

repository_651-Thumbnail Image.png

Exploring power storage profiles for vehicle to grid systems

Digital Document

DGI Image Discovery Discovered Image

repository_645-Thumbnail Image.png

A declarative model for reasoning about form security

Digital Document

DGI Image Discovery Discovered Image

repository_646-Thumbnail Image.png

Belief manipulation and message meaning for protocol analysis

Digital Document

DGI Image Discovery Discovered Image

repository_647-Thumbnail Image.png

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