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 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