Models and Proofs of Protocol Security: A Progress Report (bibtex)
by Martín Abadi, Bruno Blanchet, Hubert Comon-Lundh
Reference:
Models and Proofs of Protocol Security: A Progress Report (Martín Abadi, Bruno Blanchet, Hubert Comon-Lundh), In 21st International Conference on Computer Aided Verification (CAV'09) (Ahmed Bouajjani, Oded Maler, eds.), Springer Verlag, volume 5643, 2009.
Bibtex Entry:
@string{lncs="Lecture Notes on Computer Science"}
@string{spv="Springer Verlag"}
@InProceedings{AbadiBlanchetComonCAV09,
  author = 	 {Mart{\'\i}n Abadi and Bruno Blanchet and Hubert Comon-Lundh},
  title = 	 {Models and Proofs of Protocol Security: A Progress Report},
  booktitle = {21st International Conference on Computer Aided Verification (CAV'09)},
  pages = 	 {35--49},
  year = 	 2009,
  editor = 	 {Ahmed Bouajjani and Oded Maler},
  volume = 	 5643,
  series = 	 lncs,
  address = 	 {Grenoble, France},
  month = 	 jun,
  publisher = spv,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/AbadiBlanchetComonCAV09.pdf},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/AbadiBlanchetComonCAV09.pdf}
}
Powered by bibtexbrowser