Automated Verification of Selected Equivalences for Security Protocols (bibtex)
by Bruno Blanchet, Martín Abadi, Cédric Fournet
Reference:
Automated Verification of Selected Equivalences for Security Protocols (Bruno Blanchet, Martín Abadi, Cédric Fournet), In Journal of Logic and Algebraic Programming, volume 75, 2008.
Bibtex Entry:
@Article{BlanchetAbadiFournetJLAP07,
  author = 	 {Bruno Blanchet and Mart{\'\i}n Abadi and C{\'e}dric Fournet},
  title = 	 {Automated Verification of Selected Equivalences for Security Protocols},
  journal = 	 {Journal of Logic and Algebraic Programming},
  year = 	 2008,
  volume =	 75,
  number =	 1,
  pages =	 {3--51},
  month =	 feb # "--" # mar,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetAbadiFournetJLAP07.pdf},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetAbadiFournetJLAP07.pdf}
}
Powered by bibtexbrowser