Cryptographic Protocol Security Analysis Based on Trusted Freshness /

• Main Authors: Dong, Ling (Author), Chen, Kefei (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
• Subjects: Computer science.; Computer organization.; Computer security.; Data structures (Computer science).; Computer Science.; Computer Systems Organization and Communication Networks.; Systems and Data Security.; Data Structures, Cryptology and Information Theory.

"Cryptographic Protocol: Security Analysis Based on Trusted Freshness" mainly discusses how to analyze and design cryptographic protocols based on the idea of system engineering and that of the trusted freshness component. A novel freshness principle based on the trusted freshness componen...

Table of Contents:

• Introduction of Cryptographic Protocol
• Informal Analysis
• Informal Analysis of Cryptographic Protocols
• Formal Approaches to Security Definition
• Formal Approaches to Security Establishment of Authentication Protocols
• Belief Multisets to Security Establishment of Authentication Protocols
• Automation Approaches to Security Establishment of Authentication Protocols
• Formal Approaches to Design of Authentication Protocols.