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
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
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 2001Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
The modelling and analysis of security protocols: the CSP approach
2001, Addison-Wesley
in English
0201674718 9780201674712
|
aaaa
Libraries near you:
WorldCat
|
2
Modelling and Analysis of Security Protocols
December 21, 2000, Addison-Wesley Professional
in English
0201674718 9780201674712
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references (p. 285-291) and index.
Classifications
The Physical Object
ID Numbers
Source records
Community Reviews (0)
Feedback?
| 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 |