Conclusion
Canaux cachés

Telle quelle, il semble donc que l’exploitation de canaux cachés sur un réseau ne soit pas si simple. Toutefois, leur détection requiert la mise en place de mécanismes complexes, la plus grande difficulté venant de tout ce qu’il y a à surveiller simultanément.

Est-il possible d’empêcher les canaux cachés ? Même si cela semble bien difficile, cela reste faisable... sur certains systèmes. Des modèles théoriques de sécurité proposent de garantir la confidentialité des données, comme le modèle Bell-La Padula. La confidentialité n’empêche pas l’existence de canaux cachés, comme nous l’avons vu avec le protocole SSH. D’autres modèles cherchent à garantir l’intégrité des données, comme celui de Biba. La réalisation de tels systèmes, au sens informatique, n’est pas sans poser des problèmes, en termes de performance en particulier. Mais ces modèles permettent de construire des systèmes pour lesquels certaines propriétés sont prouvées.

Ainsi, pour aller plus loin, le lecteur est invité à regarder le système EROS  dont la sécurité est fondée sur des capabilities.

Un des objectifs de ce système est d’assurer le confinement, au sens où le définit Lampson, objectif atteint et démontré . Pour cela, le système fournit un composant, appelé constructor, dont le rôle est de créer et de confiner des sous-systèmes dans lesquels les programmes pourront s’exécuter. Comme le décrit Lampson, la politique de confinement repose sur deux propriétés :

...