| 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 |
|
Advanced
