Automated Verification of Selected Equivalences for Security Protocols (bibtex)
by Bruno Blanchet, Martín Abadi and Cédric Fournet
Reference:
Automated Verification of Selected Equivalences for Security Protocols (Bruno Blanchet, Martín Abadi and Cédric Fournet), In 20th IEEE Symposium on Logic in Computer Science (LICS 2005), IEEE Computer Society, 2005.
Bibtex Entry:
@InProceedings{BlanchetAbadiFournetLICS05,
  author = 	 {Bruno Blanchet and Mart{\'\i}n Abadi and C{\'e}dric Fournet},
  title = 	 {Automated Verification of Selected Equivalences for Security Protocols},
  booktitle = {20th IEEE Symposium on Logic in Computer Science (LICS 2005)},
  pages =	 {331--340},
  year = 	 2005,
  address = 	 {Chicago, IL},
  month = 	 jun,
  publisher =	 {IEEE Computer Society},
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetAbadiFournetLICS05.pdf},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetAbadiFournetLICS05.pdf}
}
Powered by bibtexbrowser