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: 12014 (English)Conference paper, Published 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.
Keywords [en]
Embedded System Security, Separation Kernel, Resource Constrained Embedded Systems
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:ri:diva-24306OAI: oai:DiVA.org:ri-24306DiVA, id: diva2:1043386
Conference
12th IEEE International Conference on Embedded and Ubiquitous Computing
Projects
PROSPERAvailable from: 2016-10-31 Created: 2016-10-31 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

By organisation
SICS
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
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.35.4