The monotonic separation kernel

Vahidi, Arash (2014) The monotonic separation kernel. In: 12th IEEE International Conference on Embedded and Ubiquitous Computing, 26-28 Aug 2014, Milan, Italy.

Full text not available from this repository.


In this work we consider a security model for resource constrained embedded systems, where memory is sometimes measured in a handful of kilobytes. Such systems normally do not include any security or safety mechanisms. The minority that do provide such functionalities often do so in an inflexible and ad hoc manner. The simple separation kernel demonstrated in this work enables a dynamic security model with minimal overhead and footprint. Furthermore, the provided functionality is simple enough to be used as a basis for provable security in embedded systems.

Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:Embedded System Security, Separation Kernel, Resource Constrained Embedded Systems
ID Code:5658
Deposited By:Arash Vahidi
Deposited On:09 Jun 2014 17:09
Last Modified:18 Jul 2016 14:39

Repository Staff Only: item control page