Prerequisites for
Modelling and Analysis of Security Protocols
Ryan, Peter / Schneider, Steve. 2000. 352 pages. Categories:
Applications and Protocols
,
Cryptanalysis
Haven't finished reading this book yet.
Recommended prerequisite books:
N/A
Suggested mathematical background in:
N/A
Suggested computer language experience:
- Casper
