Vérification automatique de protocoles cryptographiques : modèle formel et modèle calculatoire. Automatic verification of security protocols: formal model and computational model (bibtex)
by Bruno Blanchet
Reference:
Vérification automatique de protocoles cryptographiques : modèle formel et modèle calculatoire. Automatic verification of security protocols: formal model and computational model (Bruno Blanchet), 2008.
Bibtex Entry:
@PhdThesis{BlanchetHDR,
  author = 	 {Bruno Blanchet},
  title = 	 {V{\'e}rification automatique de protocoles cryptographiques : mod{\`e}le formel et mod{\`e}le calculatoire. Automatic verification of security protocols: formal model and computational model},
  school = 	 {Universit{\'e} Paris-Dauphine},
  year = 	 2008,
  type = 	 {M{\'e}moire d'habilitation},
  month = 	 nov,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetHDR.pdf},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetHDR.pdf}
}
Powered by bibtexbrowser