Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
The monotonic separation kernel
RISE, Swedish ICT, SICS. SEC.
Number of Authors: 1
2014 (English)Conference paper, (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
2014, 10.
Keyword [en]
Embedded System Security, Separation Kernel, Resource Constrained Embedded Systems
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-24306OAI: oai:DiVA.org:ri-24306DiVA: diva2:1043386
Conference
12th IEEE International Conference on Embedded and Ubiquitous Computing
Projects
PROSPER
Available from: 2016-10-31 Created: 2016-10-31Bibliographically approved

Open Access in DiVA

No full text

By organisation
SICS
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.26.0