Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Computer-Assisted Verification of a Protocol for Certified Email
 

Summary: Computer-Assisted Verification of
a Protocol for Certified Email
Mart´in Abadi
Computer Science Department
University of California, Santa Cruz
abadi@cs.ucsc.edu
Bruno Blanchet
CNRS, ´Ecole Normale Sup´erieure, Paris
and
Max-Planck-Institut f¨ur Informatik, Saarbr¨ucken
Bruno.Blanchet@ens.fr
May 21, 2005
Abstract
We present the formalization and verification of a recent cryptographic
protocol for certified email. Relying on a tool for automatic protocol
analysis, we establish the key security properties of the protocol. This case
study explores the use of general correspondence assertions in automatic
proofs, and aims to demonstrate the considerable power of the tool and
its applicability to non-trivial, interesting protocols.
1 Introduction

  

Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz

 

Collections: Computer Technologies and Information Sciences