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: 520654.0, MPI für Informatik / Static Analysis Group
Secrecy Types for Asymmetric Communication
Authors:Abadi, Martín; Blanchet, Bruno
Language:English
Date of Publication (YYYY-MM-DD):2003
Title of Journal:Theoretical Computer Science
Volume:298
Issue / Number:3
Start Page:387
End Page:415
Review Status:Peer-review
Audience:Experts Only
Intended Educational Use:No
Abstract / Description:We develop a typed process calculus for security protocols in which
types convey secrecy properties. We focus on asymmetric communication
primitives, especially on public-key encryption. These present special
difficulties, partly because they rely on related capabilities (e.g.,
``public'' and ``private'' keys) with different levels of secrecy and
scopes.
Last Change of the Resource (YYYY-MM-DD):2004-08-18
External Publication Status:published
Document Type:Article
Communicated by:to be appointed
Affiliations:MPI für Informatik/Static Analysis Group
Identifiers:LOCALID:C1256BDD001D715B-6DBC4AFA32CCCFAEC1256D0500571380-...
ISSN:0304-3975
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.