@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/>
@InCollection{TI06,
  author = 	 {V\'eronique Cortier},
  title = 	 {Protocoles cryptographiques : analyse par m\'ethodes formelles},
  booktitle = 	 {Techniques de l'ing\'enieur},
  OPTpages = 	 {},
  OPTpublisher = {Techniques de l'ing\'enieur},
  year = 	 {2006},
  OPTeditor = 	 {},
  volume = 	 {dossier AF176},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {Bases documentaires "Math\'ematiques pour l'ing\'enieur"},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  month = 	 {April},
  OPTnote = 	 {},
  OPTannote = 	 {},
}