Cryptographic protocol : security analysis based on trusted freshness = 密码协议 : 基于可信任新鲜性的安全性分析-西安交通大学图书馆

Cryptographic protocol : security analysis based on trusted freshness = 密码协议 : 基于可信任新鲜性的安全性分析

发布日期:2012-03-20 浏览次

[目次]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