Cyrille Wiedling
IdRefMots clés
FR |
EN
Méthodes formelles
Sécurité
Protocoles
Vote électronique
APIs
Systèmes de types
Systèmes informatiques -- Mesures de sûreté
Méthodes formelles (informatique)
Protocoles de réseaux d'ordinateurs
Interfaces de programmation d'applications
Authentification
Clef-publique
Cryptographie
Échange de clef
Mot de passe
Mot de passe approximatif
Informatique