An edition of The modelling and analysis of security protocols
(2000)
Modelling and Analysis of Security Protocols
by Peter Ryan PhD, Gavin Lowe, M. H. Goldsmith, Bill Roscoe, P. Y. A. Ryan, S. A. Schneider, G. Lowe, and A.W. Roscoe
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Mathematical models, Computers, Computer security, Cryptography, Access control, Computer networks, security measures, Computer network protocols, Computer networks, Security measures, Computer software, Verification, Computer networks--security measures, Computer security--mathematical models, Computer software--verification, Computers--access control, Qa76.9.a25 r93 2001, Tk5105.59 .r93 2001| Edition | Availability |
|---|---|
1
The modelling and analysis of security protocols: the CSP approach
2001, Addison-Wesley
in English
0201674718 9780201674712
|
zzzz
|
2
Modelling and Analysis of Security Protocols
December 21, 2000, Addison-Wesley Professional
in English
0201674718 9780201674712
|
aaaa
|
Book Details
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 29, 2008
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL13571125W |
| August 5, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
| April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |