Le moteur de recherche
des thèses françaises
Hubert Comon-Lundh
IdRefMots clés
FR |
EN
Protocoles de réseaux d'ordinateurs
Logiciels -- Vérification
Systèmes informatiques -- Mesures de sûreté
Démonstration automatique
Méthodes formelles (informatique)
Sécurité des protocoles cryptographiques
Chiffrement (informatique)
Sécurité
Protocoles cryptographiques
Cryptographie
Vérification
Décidabilité (logique mathématique)
Protocole de sécurité
Sécurité calculatoire
Preuves automatiques
Indistinguabilité
Mesures de sécurité
Fiabilité
Automatisation
Modèle symbolique