Le moteur de recherche
des thèses françaises
Steve Kremer
IdRefMots clés
FR |
EN
Cryptographie
Systèmes informatiques -- Mesures de sûreté
Sécurité
Protocoles de réseaux d'ordinateurs
Méthodes formelles
Vérification
Méthodes formelles (informatique)
Logiciels -- Vérification
Vérification de modèles (informatique)
Protocoles
Protocoles cryptographiques
Vérification formelle
Chiffrement (informatique)
Protection de l'information (informatique)
Cybersécurité
Logique
Logique informatique
Analyse des protocoles cryptographiques
Équivalences observationnelles
DeepSec