AbadiBlanchetTCS02

Bruno Blanchet Back to publications

Martín Abadi and Bruno Blanchet. Secrecy Types for Asymmetric Communication. Theoretical Computer Science, 298(3):387-415, April 2003. Special issue FoSSaCS'01.

Copyright

Get the paper

.ps.gz, 111 Kb

Links

Electronic version available at ScienceDirect: doi:10.1016/S0304-3975(02)00863-0

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 difficulties, partly because they rely on related capabilities (e.g., ``public'' and ``private'' keys) with different levels of secrecy and scopes.

Bibtex


@ARTICLE{AbadiBlanchetTCS02,
  AUTHOR = {Mart{\'\i}n Abadi and Bruno Blanchet},
  TITLE = {Secrecy {T}ypes for {A}symmetric {C}ommunication},
  JOURNAL = {Theoretical Computer Science},
  YEAR = 2003,
  VOLUME = 298,
  NUMBER = 3,
  PAGES = {387--415},
  MONTH = APR,
  EDITOR = {F. Honsell and M. Miculan},
  NOTE = {Special issue FoSSaCS'01.}
}

E-mail/Courrier électronique : Bruno.Blanchet@trap-inria.fr (remove trap-)