Le moteur de recherche
des thèses françaises
Stéphanie Delaune
IdRefMots clés
FR |
EN
Cryptographie
Vérification formelle
Méthodes formelles
Systèmes informatiques -- Mesures de sûreté
Protocoles cryptographiques
Vérification
Méthodes formelles (informatique)
Protocoles
Protocoles de réseaux d'ordinateurs
Logiciels -- Vérification
Modèle symbolique
Protocoles de sécurité
Mesures de sûreté
Chiffrement (informatique)
Sécurité
Protection de l'information (informatique)
Sécurité informatique
Cryptographie à clé publique
Calcul formel
Vie privée