Stéphanie Delaune: Vérification de protocoles de sécurité dans un modèle de l'intrus étendu

Vérification de protocoles de sécurité dans un modèle de l'intrus étendu

Stéphanie Delaune. Vérification de protocoles de sécurité dans un modèle de l'intrus étendu. Master's Thesis, DEA Programmation, Paris, France,2003.

Download

[PDF]

Abstract

(unavailable)

BibTeX

@mastersthesis{Delaune-dea2003,
  author =        {Delaune, St{\'e}phanie},
  month =         sep,
  school =        {{DEA} Programmation, Paris, France},
  type =          {Rapport de {DEA}},
  title =         {V{\'e}rification de protocoles de s{\'e}curit{\'e}
                   dans un mod{\`e}le de l'intrus {\'e}tendu},
  year =          {2003},
  nmonth =        {9},
  lsv-category =  {rapl},
  wwwpublic =     {public and ccsb},
}