BlanchetCADE05
Bruno Blanchet
Back to publications
Bruno Blanchet.
An Automatic Security Protocol Verifier based on Resolution
Theorem Proving (invited tutorial).
In 20th International Conference on Automated Deduction
(CADE-20), Tallinn, Estonia, July 2005.
Get the paper
.ps.gz, 72 Kb
Bibtex
@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
}
E-mail/Courrier électronique : Bruno.Blanchet@trap-inria.fr (remove trap-)