Operational Semantics and Verification of Security Protocols

Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. Com...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Cremers, Cas (Autor), Mauw, Sjouke (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.
Colección:Information Security and Cryptography,
Temas:
Data structures (Computer science).
Information theory.
Computer engineering.
Computer networks .
Software engineering.
Data Structures and Information Theory.
Computer Engineering and Networks.
Software Engineering.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Introduction
  • Preliminaries
  • Operational Semantics
  • Security Properties
  • Verification
  • Multiprotocol Attacks
  • Generalizing NSL for Multiparty Authentication
  • Related Work
  • Conclusions and Future Work
  • Index.

Ejemplares similares