Summary: Secrecy Types for Asymmetric Communication
Martn Abadi 
Computer Science Department
University of California, Santa Cruz
Bruno Blanchet y
Departement d'Informatique

Ecole Normale Superieure, Paris
and
Max-Planck-Institut fur Informatik, Saarbrucken
August 26, 2002
Abstract
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 dif-
culties, partly because they rely on related capabilities (e.g., \public"
and \private" keys) with dierent levels of secrecy and scopes.
1 Introduction
A secret is something you tell to one person at a time, according to a popular
denition. Research on security has led to several other concepts of secrecy

Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz
Blanchet, Bruno - Département d'Informatique, École Normale Supérieure

Collections: Computer Technologies and Information Sciences