Le moteur de recherche
des thèses françaises
Yassine Lakhnech
IdRefMots clés
FR |
CS |
EN
Cryptographie
Sécurité
Protocoles cryptographiques
Protocoles de réseaux d'ordinateurs
Logiciels -- Vérification
Systèmes à base de composants
Systèmes distribués
Contrôle de flux d'information
Cryptographie Prouvable
Vérification de Preuves
Systèmes de Chiffrement
Protocoles Cryptographiques
Méthodes formelles (informatique)
Vérification
Réseaux de communication
Vérification formelle
Interconnexion de réseaux (télécommunications)
Modèle de Dolev-Yao
Modèle de Diffie-Hellman
Exponentiation modulaire