Le moteur de recherche
des thèses françaises
David Basin
IdRefMots clés
FR |
EN
Cryptographie
Sécurité
Analyse des protocoles cryptographiques
Équivalences observationnelles
DeepSec
Symétries
Optimisation
Protocoles de réseaux d'ordinateurs
Relations d'équivalence (théorie des ensembles)
Vérification de modèles (informatique)
Complexité de calcul (informatique)
Vérification
Protocoles
Équivalence
Décidabilité
Protection de l'information (informatique)
Décidabilité (logique mathématique)
Démonstration automatique
Protocoles cryptographiques
Logiciels -- Vérification