Le moteur de recherche
des thèses françaises
Véronique Cortier
IdRefMots clés
FR |
EN
Cryptographie
Sécurité
Méthodes formelles
Systèmes informatiques -- Mesures de sûreté
Protocoles cryptographiques
Vote électronique
Protocoles de réseaux d'ordinateurs
Méthodes formelles (informatique)
Chiffrement (informatique)
Informatique
Logiciels -- Vérification
Vérification
Preuves
Compilation
Correction fonctionnelle
Sûreté mémoire
Canaux auxiliaires
Protocoles récursifs
Modèles calculatoires
Vérification formelle