Summary: Models and Proofs of Protocol Security:
A Progress Report
Mart´in Abadi1,2
, Bruno Blanchet3,4,5
, and Hubert Comon-Lundh5,6,7
1
Microsoft Research, Silicon Valley
2
University of California, Santa Cruz
3
CNRS
4 ´Ecole Normale Sup´erieure
5
INRIA
6 ´Ecole Normale Sup´erieure de Cachan
7
Research Center for Information Security, Advanced Industrial Science and Technology
Abstract. This paper discusses progress in the verification of security protocols.
Focusing on a small, classic example, it stresses the use of program-like represen-
tations of protocols, and their automatic analysis in symbolic and computational

Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz
Blanchet, Bruno - Département d'Informatique, École Normale Supérieure
Comon-Lundh, Hubert - Laboratoire Spécification et Vérification, Ecole Normale Supérieure de Cachan

Collections: Computer Technologies and Information Sciences