Sécurité des systèmes d'exploitation répartis : architecture décentralisée de méta-politique pour l'administration du contrôle d'accès obligatoire
Dans cette thèse, nous nous intéressons au contrôle d'accès obligatoire dans les systèmes d'exploitation répartis. Nous présentons une approche novatrice fondée sur un modèle de méta-politique pour l'administration décentralisée des nœuds du système réparti. Ces travaux visent la sécu...
Spremljeno u:
| Glavni autor: | |
|---|---|
| Daljnji autori: | , |
| Format: | Thèse et Mémoire papier |
| Jezik: | Français |
| Izdano: |
[S.l.] :
[s.n.]
2006.
|
| Teme: | |
| Bilješka: |
Publication autorisée par le jury |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Security of distributed operating systems :, decentralised meta-policy architecture for the administration of mandatory access control |
| Edition sous un autre format: | • Sécurité des systèmes d'exploitation répartis, architecture décentralisée de méta-politique pour l'administration du contrôle d'accès obligatoire, par Mathieu Blanc, Villeurbanne, [CCSD], 2010 |
| LEADER | 03059nam a22003137a 4500 | ||
|---|---|---|---|
| 001 | 251841 | ||
| 008 | 080317s2006 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN122264312 | ||
| 041 | 0 | |a fre |b fre |b eng | |
| 084 | |a 004 | ||
| 100 | 1 | |a Blanc, Mathieu, |d 1979- | |
| 240 | 1 | 0 | |a Security of distributed operating systems : |b decentralised meta-policy architecture for the administration of mandatory access control |
| 245 | 1 | 0 | |a Sécurité des systèmes d'exploitation répartis : |b architecture décentralisée de méta-politique pour l'administration du contrôle d'accès obligatoire |c par Mathieu Blanc ; [sous la direction de] Christian Toinard,... ; co-encadrant, Laurent Oudot,... |
| 260 | |a [S.l.] : |b [s.n.], |c 2006. | ||
| 300 | |a 1 vol. (140 p.) : |b ill. ; |c 30 cm. | ||
| 500 | |a Publication autorisée par le jury | ||
| 502 | |a Thèse de doctorat. Informatique. Orléans. 2006 | ||
| 504 | |a Bibliogr. p. 131-136 | ||
| 520 | |a Dans cette thèse, nous nous intéressons au contrôle d'accès obligatoire dans les systèmes d'exploitation répartis. Nous présentons une approche novatrice fondée sur un modèle de méta-politique pour l'administration décentralisée des nœuds du système réparti. Ces travaux visent la sécurité des grands réseaux partagés, i.e. les clusters, grilles ou ensembles de nœuds coopérant par Internet. L'architecture que nous proposons garantit des propriétés de sécurité globales et une bonne tolérance aux pannes. Ces propriétés, non prises en comptes par les modèles de contrôle d'accès classiques, sont obtenues grâce à notre méta-politique. Nous en présentons une formalisation, puis nous exhibons une technique de vérification garantissant l'absence de flots d'information illégaux au sein des nœuds du réseau. Nous décrivons ensuite comment le modèle peut être étendu pour la détection d'intrusions. Enfin, nous proposons une implantation supportant différents systèmes cibles tels que SELinux et grsecurity. | ||
| 650 | |a Systèmes d'exploitation répartis | ||
| 650 | |a Systèmes informatiques |x Mesures de sûreté | ||
| 650 | |a Ordinateurs |x Accès |x Contrôle | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Toinard, Christian. |4 ths | |
| 700 | 1 | |a Oudot, Laurent. |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 776 | 0 | |0 22769144X |t Sécurité des systèmes d'exploitation répartis |o architecture décentralisée de méta-politique pour l'administration du contrôle d'accès obligatoire |f par Mathieu Blanc |c Villeurbanne |n [CCSD] |d 2010 | |
| 787 | 0 | 8 | |i Reproduced as: |0 247020729 |t Sécurité des systèmes d'exploitation répartis |o architecture décentralisée de méta-politique pour l'administration du contrôle d'accès obligatoire |f par Mathieu Blanc |c Lille |n Atelier national de reproduction des thèses |d 2006 |p Microfiches |s Lille-Thèses |
| 997 | |0 251841 |1 Thèse et Mémoire papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, TS 19-2006-63 |z Orléans, BU Sciences, Technologies, STAPS, TS 19-2006-63 b | ||