 |
|
|
|
| HAL : hal-00310149, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| Workshop on Engineering Context-aware Object-Oriented Systems and Environments, in association with the 17th ACM OOPSLA conference, Seattle : United States (2002) |
|
|
|
|
| Building secure embedded kernels with the Think architecture. |
|
|
| Christophe Rippert 1, 2, 3Jean-Bernard Stefani 2 |
|
|
| (04/11/2002) |
|
|
|
| We present in this paper the security features of Think, an object-oriented architecture dedicated to build customized operating system kernels. The Think architecture is composed of an object-oriented software framework including a trader, and a library of system abstractions programmed as components. We show how to use this architecture to build secure and efficient kernels for embedded systems. Policy- neutral security is achieved by providing elementary tools that can be used by the system programmer to build a system resistant to denial of service attacks and incorporating data access control. An example of such a secure system is given by detailing how to ensure component isolation with a elementary software-based memory isolation tool. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | VERIMAG (VERIMAG - IMAG) |
|
|
|
CNRS : UMR5104 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG) |
|
|
| 2 : | SARDES (INRIA Rhône-Alpes / IMAG) |
|
|
|
CNRS : FR71 – INRIA |
|
|
| 3 : | POPS (INRIA Lille - Nord Europe) |
|
|
|
INRIA – CNRS : UMR8022 – Université Lille 1 - Sciences et Technologies – IRCICA |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Systèmes embarqués |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00310149, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00310149 | |
| oai:hal.archives-ouvertes.fr:hal-00310149 | |
| Contributeur : Christophe Rippert | |
| Soumis le : Vendredi 8 Août 2008, 02:13:47 | |
| Dernière modification le : Jeudi 28 Août 2008, 12:24:41 | |
