Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


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