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