Hubert Comon-Lundh
IdRefMots clés
FR |
EN
Protocoles de réseaux d'ordinateurs
Systèmes informatiques -- Mesures de sûreté
Logiciels -- Vérification
Démonstration automatique
Méthodes formelles (informatique)
Décidabilité (logique mathématique)
Chiffrement (informatique)
Protocole de sécurité
Sécurité calculatoire
Preuves automatiques
Indistinguabilité
Mesures de sécurité
Fiabilité
Automatisation
Sécurité
Protocoles cryptographiques
Cryptographie
Sécurité des protocoles cryptographiques
Vérification
Réécriture, Systèmes de (informatique)