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 work 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
| December 19, 2023 | Edited by ImportBot | import existing book |
| November 28, 2023 | Edited by MARC Bot | import existing book |
| August 18, 2020 | Edited by ImportBot | import existing book |
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL13571125W |
| December 11, 2009 | Created by WorkBot | add works page |