Vérifier les protocoles cryptographiques

Vérifier les protocoles cryptographiques. Véronique Cortier. Technique et Science Informatique, Hermes Science, 24(1):115–140, 2005.

Download

[PDF] [PS]

Abstract

(unavailable)

BibTeX

@Article{TSI05,
  author = 	 {V\'eronique Cortier},
  title = 	 {V\'erifier les protocoles cryptographiques},
  journal = 	 {Technique et Science Informatique, Hermes Science},
  year = 	 {2005},
  volume = 	 {24},
  number = 	 {1},
  pages = 	 {115-140},
}