Operational Semantics and Verification of Security Protocols

• Main Authors: Cremers, Cas (Author), Mauw, Sjouke (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Information Security and Cryptography,
• Subjects: Computer science.; Computer organization.; Software engineering.; Data structures (Computer science).; Computer Science.; Data Structures, Cryptology and Information Theory.; Computer Systems Organization and Communication Networks.; Software Engineering/Programming and Operating Systems.

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

Table of Contents:

• Introduction
• Preliminaries
• Operational Semantics
• Security Properties
• Verification
• Multiprotocol Attacks
• Generalizing NSL for Multiparty Authentication
• Related Work
• Conclusions and Future Work
• Index.