Vérification automatique des protocoles cryptographiques

Vérification automatique des protocoles cryptographiques. Véronique Cortier. Thèse de doctorat (PhD thesis), Laboratoire Spécification et Vérification, ENS Cachan, France, 2003.

Download

[PDF] [PS] 

Abstract

(unavailable)

BibTeX

@phdthesis{THESE-CORTIER-2003,
  author =        {Cortier, V{\'e}ronique},
  month =         mar,
  school =        {Laboratoire Sp{\'e}cification et V{\'e}rification,
                   ENS Cachan, France},
  type =          {Th{\`e}se de doctorat ({PhD} thesis)},
  title =         {V{\'e}rification automatique des protocoles
                   cryptographiques},
  year =          {2003},
}