ID:
520650.0,
MPI für Informatik / Static Analysis Group |
Analyzing Security Protocols with Secrecy Types and Logic Programs |
Authors: | Abadi, Martín; Blanchet, Bruno |
Language: | English |
Publisher: | ACM |
Place of Publication: | New York, USA |
Date of Publication (YYYY-MM-DD): | 2002 |
Title of Proceedings: | Conference Record of POPL 2002: The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages |
Start Page: | 33 |
End Page: | 44 |
Place of Conference/Meeting: | Portland, Oregon, USA |
(Start) Date of Conference/Meeting (YYYY-MM-DD): | 2002-01-16 |
End Date of Conference/Meeting (YYYY-MM-DD): | 2002-01-18 |
Audience: | Experts Only |
Intended Educational Use: | No |
Abstract / Description: | 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. |
Last Change of the Resource (YYYY-MM-DD): | 2003-08-29 |
External Publication Status: | published |
Document Type: | Conference-Paper |
Communicated by: | to be appointed |
Affiliations: | MPI für Informatik/Static Analysis Group
|
Identifiers: | LOCALID:C1256BDD001D715B-5D5ADB05B0A19B3AC1256C79003CD989-... ISBN:1-58113-450-9 |
|