Automatic Verification of Correspondences for Security Protocols (bibtex)
by Bruno Blanchet
Reference:
Automatic Verification of Correspondences for Security Protocols (Bruno Blanchet), In Journal of Computer Security, volume 17, 2009.
Bibtex Entry:
@Article{BlanchetJCS08,
  author = 	 {Bruno Blanchet},
  title = 	 {Automatic Verification of Correspondences for Security Protocols},
  journal = 	 {Journal of Computer Security},
  year = 	 2009,
  volume = 	 17,
  number = 	 4,
  pages = 	 {363--434},
  month = 	 jul,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetJCS08.pdf},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetJCS08.pdf}
}
Powered by bibtexbrowser