Cryptographic Protocol: Security analysis based on trusted freshness密碼協(xié)議:基于可信任新鮮性的安全性分析 (英文版)
定 價：48 元
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
書單推薦 新書推薦
