文件名称：Formal Correctness of Security Protocols
文件大小：2.29MB
文件格式：RAR
更新时间：2013-11-30 11:59:04
Security Protocols formal verification
安全协议验证方面的一本好书，不过这里只包括前面的七个章节
【文件预览】：
1. Introduction.pdf
5. The Principle of Goal Availability.pdf
2. The Analysis of Security Protocols.pdf
3. The Inductive Method.pdf
back-matter.pdf
4. Verifying the Protocol Goals.pdf
6. Modelling Timestamping and Verifying a Classical Protocol.pdf
TOC.pdf
7. Verifying a Deployed Protocol.pdf