Dong, Ling
Cryptographic Protocol
1. Introduction of Cryptographic Protocols
Ling Dong, Kefei Chen
2. Background of Cryptographic Protocols
Ling Dong, Kefei Chen
3. Engineering Principles for Security Design of Protocols
Ling Dong, Kefei Chen
4. Informal Analysis Schemes of Cryptographic Protocols
Ling Dong, Kefei Chen
5. Security Analysis of Real World Protocols
Ling Dong, Kefei Chen
6. Guarantee of Cryptographic Protocol Security
Ling Dong, Kefei Chen
7. Formalism of Protocol Security Analysis
Ling Dong, Kefei Chen
8. Design of Cryptographic Protocols Based on Trusted Freshness
Ling Dong, Kefei Chen
9. Automated Analysis of Cryptographic Protocols Based on Trusted Freshness
Ling Dong, Kefei Chen
Keywords: Computer Science, Computer Systems Organization and Communication Networks, Systems and Data Security, Data Structures, Cryptology and Information Theory
- Author(s)
- Dong, Ling
- Chen, Kefei
- Publisher
- Springer
- Publication year
- 2012
- Language
- en
- Edition
- 1
- Page amount
- 384 pages
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783642240737