 |
|
|
|
| HAL: hal-00310149, version 1 |
| Detailed view |  Export this paper |
|
|
| 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 |
|
|
| (2002-11-04) |
|
|
|
| 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é des Sciences et Technologies de Lille - Lille I – IRCICA |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Embedded Systems |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00310149, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00310149 | |
| oai:hal.archives-ouvertes.fr:hal-00310149 | |
| From: Christophe Rippert | |
| Submitted on: Friday, 8 August 2008 02:13:47 | |
| Updated on: Thursday, 28 August 2008 12:24:41 | |
