Cryptographic Protocol Security Analysis Based on Trusted Freshness /

"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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Dong, Ling (Autor), Chen, Kefei (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Temas:
Computer engineering.
Computer networks .
Data protection.
Data structures (Computer science).
Information theory.
Computer Engineering and Networks.
Data and Information Security.
Data Structures and Information Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares