Bruno Blanchet Back to publications
Martín Abadi and Bruno Blanchet. Secrecy Types for Asymmetric Communication. In F. Honsell and M. Miculan, editors, Foundations of Software Science and Computation Structures (FoSSaCS 2001), volume 2030 of Lecture Notes in Computer Science, pages 25-41, Genova, Italy, April 2001. Springer.


© Springer-Verlag

Get the paper

.ps.gz, 91 Kb


LNCS series home page. Proceedings of FoSSaCS'2001 at the Springer site.


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.


  AUTHOR = {Mart{\'\i}n Abadi and Bruno Blanchet},
  TITLE = {Secrecy {T}ypes for {A}symmetric {C}ommunication},
  BOOKTITLE = {Foundations of Software Science and Computation Structures (FoSSaCS 2001)},
  PAGES = {25--41},
  YEAR = {2001},
  EDITOR = {F. Honsell and M. Miculan},
  VOLUME = {2030},
  SERIES = {Lecture Notes in Computer Science},
  ADDRESS = {Genova, Italy},
  PUBLISHER = {Springer}

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