An Automatic Security Protocol Verifier based on Resolution Theorem Proving (invited tutorial) (bibtex)
by Bruno Blanchet
Reference:
An Automatic Security Protocol Verifier based on Resolution Theorem Proving (invited tutorial) (Bruno Blanchet), In 20th International Conference on Automated Deduction (CADE-20), 2005.
Bibtex Entry:
@InProceedings{BlanchetCADE05,
  author = 	 {Bruno Blanchet},
  title = 	 {An Automatic Security Protocol Verifier based on Resolution Theorem Proving (invited tutorial)},
  booktitle =	 {20th International Conference on Automated Deduction (CADE-20)},
  year =	 2005,
  address =	 {Tallinn, Estonia},
  month =	 jul,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetCADE05.html}
}
Powered by bibtexbrowser