Christian Toinard
Mots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Sécurité
Ordinateurs -- Accès -- Contrôle
Propriétés de sécurité
Systèmes d'exploitation (ordinateurs)
Informatique dans les nuages
Contrôle d’accès obligatoire
Autonomie
Sécurité informatique
Virtualisation
Informatique en Nuage
Systèmes Distribués
Flux d'informations
Ingénierie dirigée par les modèles
Formalisation logique
Canaux cachés
Systèmes virtuels (informatique)
Contrôle d’accès
Serveurs Web
Protection obligatoire