Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Mounira Kourjieh

est l'auteur d'une thèse

Authentification Clauses de premier ordre Cryptographie Déduction Logique du premier ordre Pi calcul appliqué Primitives algébriques Procédures de décision Protocoles cryptographiques Protocoles de vote électronique Résolution Saturation Systèmes de constraintes

Fullscreen

Authentification Clauses de premier ordre Cryptographie Déduction Logique du premier ordre Pi calcul appliqué Primitives algébriques Procédures de décision Protocoles cryptographiques Protocoles de vote électronique Résolution Saturation Systèmes de constraintes

Mounira Kourjieh a rédigé la thèse suivante :

Analyse logique et vérification des protocoles cryptographiques

par Mounira Kourjieh sous la direction de Philippe Balbiani et de Yannick Chevalier . - Toulouse 3

Informatique

Soutenue en 2009

Thèse soutenue

Accéder en ligne