Please note that eDoc will be permanently shut down in the first quarter of 2021!      Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Institute: MPI für Informatik     Collection: Static Analysis Group     Display Documents



ID: 520662.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
Date of Publication (YYYY-MM-DD):2005
Title of Journal:Journal of the ACM
Volume:52
Issue / Number:1
Start Page:102
End Page:146
Review Status:Peer-review
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):2005-05-01
External Publication Status:published
Document Type:Article
Communicated by:to be appointed
Affiliations:MPI für Informatik/Static Analysis Group
Identifiers:LOCALID:C1256BDD001D715B-5F9A04A5291DE21DC1256FB0005164C4-...
URL:http://doi.acm.org/10.1145/1044731.1044735
ISSN:0004-5411
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.