Cryptographic protocol : security analysis based on trusted freshness

QR Code

Cryptographic protocol : security analysis based on trusted freshness

Bibliographic Details
Main Authors:	Ling, Dong (Author), Kefei, Chen , 1959- (Author)
Format:	Book
Language:	English
Published:	Beijing, China : Heidelberg ; New York : Higher Education Press ; Springer , c2012
Subjects:	Computer network protocols Computer networks > Security measures Data encryption (Computer science)

Table of Contents:

1. Introduction of cryptographic protocols
2. Background of cryptographic protocols
3. Engineering principles for security design 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. Design of cryptographic protocols based on trusted freshness
9. Automated analysis of cryptographic protocols based on trusted freshness