Le moteur de recherche
des thèses françaises
Bruno Blanchet
IdRefMots clés
FR |
EN
Cryptographie
Sécurité
Protocoles cryptographiques
Vérification
Méthodes formelles
Vérification formelle
Logiciels -- Vérification
Chiffrement (informatique)
Protocoles de réseaux d'ordinateurs
Systèmes informatiques -- Mesures de sûreté
Protocoles
Protocoles de sécurité
Vie privée
Équivalence
Décidabilité
Protection de l'information (informatique)
Décidabilité (logique mathématique)
Méthodes formelles (informatique)
Informatique
Signatures électroniques