Protocoles cryptographiques : analyse par méthodes formelles

Protocoles cryptographiques : analyse par méthodes formelles. Véronique Cortier. In Techniques de l'ingénieur, April 2006.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

@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 = 	 {},
}