Security Protocols: Specification, Verification, Implementation, and Composition

Omar Almousa

Research output: Book/Report › Ph.D. thesis

1519 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Security Protocols: Specification, Verification, Implementation, and Composition'. Together they form a unique fingerprint.

Computer Science