An edition of Mechanized proofs of security protocols
Mechanized proofs of security protocols
Needham-Schroeder with public keys
by Lawrence C. Paulson
Share
×Close
This work doesn't have a description yet. Can you add one?
Buy this book
Subjects
Mathematical models, Computer security| Edition | Availability |
|---|---|
1
Mechanized proofs of security protocols: Needham-Schroeder with public keys
Publish date unknown, University of Cambridge, Computer Laboratory
in English
|
aaaa
|
Book Details
Edition Notes
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| February 13, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |