Analyzing Security Protocols with Secrecy Types and Logic Programs (bibtex)
by Martín Abadi, Bruno Blanchet
Reference:
Analyzing Security Protocols with Secrecy Types and Logic Programs (Martín Abadi, 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}
}
Powered by bibtexbrowser