@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@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},
}