these doctorat une architecture de securité

Chapitre 2. Théories et Modèles
qui s’assurent du respect des politiques de sécurité des différentes parties qui interagissent. Ces
politiques ne doivent en aucun cas pouvoir être transgressées par une des parties impliquées que
cela soit accidentellement ou intentionnellement. Il existe quatre problèmes de sécurité spécifiques
au code mobile :
– La protection d’un hôte contre les agents qu’il exécute,
– la protection d’un agent contre les autres agents d’un même hôte,
– la protection d’un agent contre son hôte,
– la protection d’un agent contre le réseau sous-jacent.
Les différentes attaques possibles concernant le code mobile sont un sujet largement étudié depuis
de nombreuses années. Il existe beaucoup de références dans la bilbiographie qui décrivent
ces dangers [77, 105, 44, 39].
2.8.1 Protection de l’hôte contre un agent malicieux
Ce type d’attaque consiste à faire exécuter du code mobile malicieux au sein d’un environnement
d’execution. C’est l’attaque crainte par tous les fournisseurs de ressources et par tous ceux
qui fournissent des services. Ce genre d’attaque a été largement étudié depuis de nombreuses
années.
tel-00239252, version 1 - 5 Feb 2008
Sandboxing
Le sandboxing 4 [54, 83] est présent dans Java depuis la version 1.0 [56] sortie en mai 1995.
La possibilité qu’offrait Java de pouvoir créer des applets fût en grande partie responsable de
son succès. Les applets sont des programmes java intégrés au sein de pages web. Il sont chargés
et exécutés automatiquement par le navigateur qui accède à la page. Cela pose des problèmes de
securité évidents. L’idée principale derrière le sandboxing est la suivante : « Un programme ne
peut faire de dégats que si son accès au système d’exploitation sous-jacent n’est pas limité. » En
limitant l’accès du programme aux ressources de la machine, on limite les risques. Pour celà on
va confiner le code à exécuter dans un environnement dont les accès au système d’exploitation
sont contrôlés et limités (figure 2.16). Il faut cependant noter que le code qui s’exécute dans
FIG. 2.16 – Sandboxing
une sandbox ne peut avoir que des fonctionalités réduites étant donné qu’il est limité sur les
ressources auquel il peut accéder.
Signature du Code
Ce modèle a été utilisé par Microsoft au sein de ses contrôles activeX et par SUN dans le JDK
Java 1.1 sous la dénomination d’applets signées. Le créateur du code va signer numériquement
ce dernier. Il permet ainsi à toute personne qui le désire de vérifier la signature. Si la signature
est valide, on peut être certain de la provenance du code (le fournisseur) et de son intégrité (le
code n’aura pas subi de modification) comme présenté dans la figure 2.17. Le code exécuté dans
4 connu en français sous le nom de « bac à sable »
26