Formal Protocol Verification Applied

2007200820072008

Keyphrases

Publications

volume 7421, 2008

Formal Protocol Verification Applied, 14.10. - 19.10.2007 Formal Protocol Verification Applied 7421 (2008)

2007

Michael Backes, Matteo Maffei, Dominique Unruh
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. Formal Protocol Verification Applied (2007)
Liqun Chen, Steve Kremer, Mark Dermot Ryan
07421 Abstracts Collection -- Formal Protocol Verification Applied. Formal Protocol Verification Applied (2007)
Cas Cremers
Complete Characterization of Security Protocols by Pattern Refinement. Formal Protocol Verification Applied (2007)
Liqun Chen, Steve Kremer, Mark Dermot Ryan
07421 Executive Summary -- Formal Protocol Verification Applied. Formal Protocol Verification Applied (2007)