Computer-Assisted Verification of a Protocol for Certified Email

Abadi, Martín; Blanchet, Bruno

by Martín Abadi, Bruno Blanchet

Reference:

Computer-Assisted Verification of a Protocol for Certified Email (Martín Abadi, Bruno Blanchet), In Science of Computer Programming, volume 58, 2005. (Special issue SAS'03.)

Bibtex Entry:

@Article{AbadiBlanchetSCP04,
  author = 	 {Mart{\'\i}n Abadi and Bruno Blanchet},
  title = 	 {Computer-Assisted Verification of a Protocol for Certified Email},
  journal = 	 {Science of Computer Programming},
  year = 	 2005,
  volume =	 58,
  number =	 {1--2},
  pages =	 {3--27},
  month =	 oct,
  note = {Special issue SAS'03.},
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/AbadiBlanchetSCP04.html}
}