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