Scheda di revisione: Modèles et sécurité des flux d'informations

1. 📌 L'essentiel

• La sécurité des flux d'information (IFS) empêche la fuite illicite via la des données.
• Contrôle d’accès (ACL, RBAC, ABAC, MAC, DAC) limite qui lire ou écrire une ressource.
• Les canaux auxiliaires (terminaison, temporels, micro-architecturaux) peuvent contourner le contrôle d’accès.
• La non-interférence garantit que les niveaux élevés n’affectent pas les observables de niveau faible.
• La déclassification permet un contrôle précis de la révélation d’informations sensibles.
• Modèles classiques : Bell–LaPadula (confidentialité), Biba (intégrité), Clark–Wilson (transactions sécurisées).

2. 🧩 Structures & Composants clés

• Contrôle d’accès — limite l’accès aux ressources selon règles (ACL, RBAC, ABAC, MAC, DAC).
• Canaux de fuite — voies indirectes : terminaison, temporels, micro-architecturaux.
• Canaux micro-architecturaux — caches, prédiction, spéculation exploitant le matériel.
• Modèles classiques — règles formelles pour confidentialité et intégrité.
• Mécanismes d’application — statiques (compile-time) ou dynamiques (runtime).

3. 🔬 Fonctions, Mécanismes & Relations

• Le contrôle d’accès limite directement l’usage, mais ne couvre pas les canaux auxiliaires.
• La sécurité des flux (IFS) contrôle la propagation indirecte via canaux de terminaison, temporels, micro-architecturaux.
• Flux explicites : transfert direct de données.
• Flux implicites : influence du programme (branches, timing) sur la circulation d’informations.
• Canaux de terminaison : fuite via dépendance de la fin d’un processus à un secret.
• Canaux temporels : fuite via durée d’exécution dépendant d’un secret.
• Canaux micro-architecturaux : attaques par caches, spéculation (Spectre, Meltdown).
• La non-interférence assure que les actions de niveaux élevés n’affectent pas la visibilité des niveaux faibles.

4. Tableau comparatif

5. 🗂️ Diagramme Hiérarchique

Sécurité des flux (IFS)
 ├─ Contrôle d’accès
 │    ├─ Limites : indirectes, canaux auxiliaires
 │    └─ Nécessite sécurité des flux
 ├─ Canaux de fuite
 │    ├─ Terminaison
 │    ├─ Temporels
 │    └─ Micro-architecturaux
 │         ├─ Cache
 │         ├─ Spéculation
 │         └─ Attaques matérielles
 └─ Non-interférence
      ├─ Principe strict
      └─ Relaxée via déclassification

6. ⚠️ Pièges & Confusions fréquentes

• Confondre flux explicites et implicites.
• Sous-estimer l’impact des canaux micro-architecturaux.
• Croire que le contrôle d’accès seul suffit.
• Confondre non-interférence et déclassification.
• Négliger les canaux temporels ou de terminaison.
• Limiter la sécurité aux modèles classiques sans considérer les canaux modernes.
• Utiliser une analyse statique sans tenir compte des comportements dynamiques.
• Confondre confidentialité et intégrité dans certains modèles.

7. ✅ Checklist Examen Final

• Comprendre la différence entre contrôle d’accès et sécurité des flux.
• Identifier les canaux de fuite : terminaison, temporels, micro-architecturaux.
• Savoir appliquer le principe de non-interférence.
• Connaître les modèles classiques : Bell–LaPadula, Biba, Clark–Wilson.
• Différencier flux explicites et implicites.
• Connaître les mécanismes d’application : statiques vs dynamiques.
• Maîtriser le cycle de vie des données et ses enjeux.
• Être capable d’illustrer la hiérarchie des composants en diagramme ASCII.
• Connaître les limites du contrôle d’accès dans un environnement moderne.
• Se rappeler des techniques avancées : chiffrement homomorphe, MPC, TEE, anonymisation.
• Identifier les principales attaques micro-architecturales (Spectre, Meltdown).
• Savoir comment la déclassification équilibre sécurité et fonctionnalité.
• Être capable d’analyser un scénario de fuite via un canal auxiliaire.
• Connaître les normes : GDPR, NIST, etc.