Analyzing security protocols with secrecy types and logic programs

Analyzing security protocols with secrecy types and logic programs

We study and further develop two language-based techniques for analyzing security protocols. One is based on a typed process calculus; the other, on untyped logic programs. Both focus on secrecy properties. We contribute to these two techniques, in particular by extending the former with a flexible,...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of the ACM 2005, Vol.52 (1), p.102-146
Hauptverfasser: ABADI, Martin, BLANCHET, Bruno
Format: Artikel
Sprache:eng
Schlagworte:
Access methods and protocols, osi model
Algorithms
Applied sciences
Calculus
Communications networks
Cryptography
Data encryption
Digital signatures
Equivalence
Exact sciences and technology
Information, signal and communications theory
Logic programming
Mathematical analysis
Network security
Programming languages
Protocol
Secrecy aspects
Security
Signal and communications theory
Software
Studies
Telecommunications
Telecommunications and information theory
Teleprocessing networks. Isdn
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We study and further develop two language-based techniques for analyzing security protocols. One is based on a typed process calculus; the other, on untyped logic programs. Both focus on secrecy properties. We contribute to these two techniques, in particular by extending the former with a flexible, generic treatment of many cryptographic operations. We also establish an equivalence between the two techniques.
ISSN:0004-5411
1557-735X
DOI:10.1145/1044731.1044735