Analyzing Security Protocols with Secrecy Types and Logic Programs

Abadi, Martín; Blanchet, Bruno

Local TagsRelease HistoryDetailsSummary

Analyzing Security Protocols with Secrecy Types and Logic Programs

Abadi, M., & Blanchet, B. (2005). Analyzing Security Protocols with Secrecy Types and Logic Programs. Journal of the ACM, 52(1), 102-146. Retrieved from http://doi.acm.org/10.1145/1044731.1044735.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2863-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2864-A

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Abadi, Martín, Author
Blanchet, Bruno¹, Author

Affiliations:
1Static Analysis, MPI for Informatics, Max Planck Society, ou_1116553

Content

show

hide

Free keywords: -

Abstract: 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.

Details

show

hide

Language(s): eng - English

Dates: Modified: 2005-05-01Date issued: 2005

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: eDoc: 520662
URI: http://doi.acm.org/10.1145/1044731.1044735
Other: Local-ID: C1256BDD001D715B-5F9A04A5291DE21DC1256FB0005164C4-AbadiBlanchet2005

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Journal of the ACM

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 52 (1) Sequence Number: - Start / End Page: 102 - 146 Identifier: ISSN: 0004-5411