Analyzing Security Protocols with Secrecy Types and Logic Programs (bibtex)

by Martín Abadi and Bruno Blanchet

Reference:

Analyzing Security Protocols with Secrecy Types and Logic Programs (Martín Abadi and Bruno Blanchet), In Journal of the ACM, volume 52, 2005.

Bibtex Entry:

@Article{AbadiBlanchetJACM7037,
  author = 	 {Mart{\'\i}n Abadi and Bruno Blanchet},
  title = 	 {Analyzing Security Protocols with Secrecy Types and Logic Programs},
  journal = 	 {Journal of the ACM},
  year = 	 2005,
  volume =	 52,
  number =	 1,
  pages =	 {102--146},
  month =	 jan,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/AbadiBlanchetJACM7037.pdf},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/AbadiBlanchetJACM7037.pdf}
}