Operational Semantics and Verification of Security Protocols

• Κύριοι συγγραφείς: Cremers, Cas (Συγγραφέας), Mauw, Sjouke (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Σειρά: Information Security and Cryptography,
• Θέματα: 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...

Πίνακας περιεχομένων:

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