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