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

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

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