Computer-Assisted Verification of a Protocol for Certified Email (bibtex)
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}
}
Powered by bibtexbrowser