Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Secrecy Types for Asymmetric Communication Mart n Abadi

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
Max-Planck-Institut fur Informatik, Saarbrucken
August 26, 2002
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 di erent 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