Cas Cremers
IdRefMots clés
FR |
EN
Cryptographie
Méthodes formelles
Sécurité
Systèmes mobiles et embarqués
Vote
Paiement
Chiffrement (informatique)
Systèmes d'information
Méthodes formelles (informatique)
Systèmes embarqués (informatique)
Vote électronique
Monnaie électronique
Protocole de sécurité
Sécurité calculatoire
Preuves automatiques
Indistinguabilité
Mesures de sécurité
Fiabilité
Protocoles de réseaux d'ordinateurs
Systèmes informatiques -- Mesures de sûreté