Dagstuhl Seminar Proceedings 07421
Formal Protocol Verification Applied
L. Chen, S. Kremer, M. D. Ryan (Eds.)
published by LZI
ISSN 1862 - 4405
Dagstuhl Seminar 07421, 14.10. - 19.10.2007
Additional Information
Seminar Homepage
License
Search Publication Server
Support
Microsoft Research, Cambridge, UK
Authors
Backes, Michael
Chen, Liqun
Cremers, Cas
Kremer, Steve
Maffei, Matteo
Ryan, Mark D.
Unruh, Dominique
07421 Abstracts Collection -- Formal Protocol Verification Applied
Authors:
Chen, Liqun ; Kremer, Steve ; Ryan, Mark D.
Abstract
|
Document (170 KB)
|
BibTeX
07421 Executive Summary -- Formal Protocol Verification Applied
Authors:
Chen, Liqun ; Kremer, Steve ; Ryan, Mark D.
Abstract
|
Document (68 KB)
|
BibTeX
Complete Characterization of Security Protocols by Pattern Refinement
Authors:
Cremers, Cas
Abstract
|
Document (192 KB)
|
BibTeX
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol
Authors:
Backes, Michael ; Maffei, Matteo ; Unruh, Dominique
Abstract
|
Document (343 KB)
|
BibTeX
DROPS-Home
|
Imprint
|
Privacy
