Protection dans les architectures de systèmes flexibles

Christophe Rippert 1
1 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, CNRS - Centre National de la Recherche Scientifique : FR71
Abstract : This work aims at proving that security and flexibility can coexist in an operating system kernel. We show that both security and flexibility can be guaranteed by separating the management of the security policy from the tools used to enforce it. Our work is composed of two parts. In the first part, we propose elementary protection tools which protect the system against selected types of attacks while remaining completely independent from the security policy. In the second part, we describe the security software framework we have implemented, including the component in charge of managing security policies which we call the security manager. Our results are validated on examples showing the flexibility of protection in the system.
Document type :
Theses
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2003. Français


https://tel.archives-ouvertes.fr/tel-00004377
Contributor : Thèses Imag <>
Submitted on : Thursday, January 29, 2004 - 11:56:22 AM
Last modification on : Thursday, July 16, 2009 - 4:07:24 PM
Document(s) archivé(s) le : Friday, April 2, 2010 - 8:10:13 PM

Identifiers

  • HAL Id : tel-00004377, version 1

Collections

Citation

Christophe Rippert. Protection dans les architectures de systèmes flexibles. Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2003. Français. <tel-00004377>

Export

Share

Metrics

Record views

293

Document downloads

175