Lien entre modèles symboliques et computationnels pour les protocoles cryptographiques utilisant des hachages / Romain Janvier ; sous la direction de Yassine Lakhnech et Michaël Périn

Date :

Editeur / Publisher : , 2006

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Chiffrement (informatique) -- Thèses et écrits académiques

Adressage calculé (informatique) -- Thèses et écrits académiques

Signatures électroniques -- Thèses et écrits académiques

Lakhnech, Yassine (Directeur de thèse / thesis advisor)

Périn, Michaël (Directeur de thèse / thesis advisor)

Université Joseph Fourier (Grenoble) (Organisme de soutenance / degree-grantor)