Vérification automatique des protocoles cryptographiques / par Véronique Cortier ; sous la direction de Hubert Comon-Lundh

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2003

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Logiciels -- Vérification -- Thèses et écrits académiques

Automates programmables -- Thèses et écrits académiques

Logique temporelle -- Thèses et écrits académiques

Comon-Lundh, Hubert (Directeur de thèse / thesis advisor)

École normale supérieure Paris-Saclay (Gif-sur-Yvette, Essonne) (Organisme de soutenance / degree-grantor)