Le moteur de recherche
des thèses françaises
Bogdan Warinschi
IdRefMots clés
FR |
EN
Protocoles de réseaux d'ordinateurs
Systèmes informatiques -- Mesures de sûreté
Protocole de sécurité
Sécurité calculatoire
Preuves automatiques
Indistinguabilité
Mesures de sécurité
Fiabilité
Automatisation
Méthodes formelles
Sécurité informatique
Protocoles
Méthodes symboliques
Model calculatoire
Méthodes formelles (informatique)