An edition of The modelling and analysis of security protocols
(2000)
The modelling and analysis of security protocols
the CSP approach
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
|
aaaa
|
2
Modelling and Analysis of Security Protocols
December 21, 2000, Addison-Wesley Professional
in English
0201674718 9780201674712
|
zzzz
|
Book Details
Edition Notes
Includes bibliographical references (p. 285-291) and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created November 10, 2008
- 9 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| December 19, 2023 | Edited by ImportBot | import existing book |
| November 28, 2023 | Edited by MARC Bot | import existing book |
| November 12, 2023 | Edited by MARC Bot | import existing book |
| November 17, 2022 | Edited by ImportBot | import existing book |
| November 10, 2008 | Created by ImportBot | Imported from University of Toronto MARC record |