Is the Verification Problem for Cryptographic Protocols Solved?

Experience gained in the formal verification of cryptographic protocols is discussed. Many protocols have been analysed successfully thus far, but emerging goals may raise new challenges. However, existing formal approaches appear to be sufficiently scalable.

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bella, Giampaolo, Longo, Cristiano, Paulson, Lawrence C.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface Cryptographic Protocol Cryptography Exact sciences and technology High Order Logic Information, signal and communications theory Memory and file management (including protection and security) Memory organisation. Data processing Security Protocol Signal and communications theory Smart Card Software Telecommunications and information theory Trusted Third Party
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Experience gained in the formal verification of cryptographic protocols is discussed. Many protocols have been analysed successfully thus far, but emerging goals may raise new challenges. However, existing formal approaches appear to be sufficiently scalable.
ISSN:	0302-9743 1611-3349
DOI:	10.1007/11542322_23