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}
}