Cryptographic Protocol: Security analysis based on trusted freshness密码协议:基于可信任新鲜性的安全性分析 (英文版)

定　　价：48 元

丛书名：

• 作者：董玲，陈克非 著
• 出版时间：2011/10/1
• ISBN：9787040313314
• 出 版 社：高等教育出版社

• 中图法分类：TN918.1 
• 页码：373
• 纸张：胶版纸
• 版次：1
• 开本：16开
• 字数：(单位：千字)

目 录

1 Introduction of Cryptographic Protocols

2 Background of Cryptographic Protocols

3 Engineering Principles for Security Desing of Protocols

4  Informal Analysis Schemes of Cryptographic Protocols

5 Security Analysis of Real World Protocols

6 Guarantee of Cryptographic Protocol Security

7 Formalism of Protocol Security Analysis

8 Desing of Cryptograhic Protocols Based on TrustedFresliness

9 Automated Analysis of Cryptographic Protocols Based on TrustedEreshness

Index