Michaël Rusinowitch
IdRefMots clés
FR |
EN
Réécriture, Systèmes de (informatique)
Chiffrement (informatique)
Systèmes informatiques -- Mesures de sûreté
Théorie de la démonstration
Réécriture
Logiciels -- Vérification
Méthodes formelles (informatique)
Protocoles de réseaux d'ordinateurs
Réseaux d'ordinateurs -- Mesures de sûreté
Filtres (informatique)
Commutation, Théorie de la
Protection de l'information (informatique)
Réseaux sociaux (Internet)
XML (langage de balisage)
Services Web
Cryptographie
Logique mathématique
Théorèmes -- Démonstration automatique
Complexité de calcul (informatique)
Vie privée