Le moteur de recherche
des thèses françaises
Cas Cremers
IdRefMots clés
FR |
EN
Cryptographie
Sécurité
Méthodes formelles
Chiffrement (informatique)
Protocoles de réseaux d'ordinateurs
Systèmes informatiques -- Mesures de sûreté
Protocoles cryptographiques
Systèmes mobiles et embarqués
Vote
Paiement
Systèmes d'information
Mesures de sûreté
Méthodes formelles (informatique)
Systèmes embarqués (informatique)
Vote électronique
Monnaie électronique
Vérification
Protocole de sécurité
Sécurité calculatoire
Preuves automatiques