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
Protocoles de réseaux d'ordinateurs
Logiciels -- Vérification
Méthodes formelles (informatique)
Protection de l'information (informatique)
Commutation, Théorie de la
Réseaux sociaux (Internet)
Réseaux d'ordinateurs -- Mesures de sûreté
Filtres (informatique)
Complexité de calcul (informatique)
Vie privée
Services Web
Cryptographie
XML (langage de balisage)
Logique mathématique
Théorèmes -- Démonstration automatique