Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Towards a comprehensive model of isolation for mitigating illicit channels

 
: Falzon, K.; Bodden, E.

:

Piessens, F.:
Principles of security and trust. 5th international conference, POST 2016 : Held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016: Proceedings
Berlin: Springer, 2016 (Lecture Notes in Computer Science 9635)
ISBN: 978-3-662-49634-3 (Print)
ISBN: 978-3-662-49635-0 (Online)
ISBN: 3-662-49634-8
pp.116-138
International Conference on Principles of Security and Trust (POST) <19, 2016, Eindhoven>
European Joint Conferences on Theory and Practice of Software (ETAPS) <19, 2016, Eindhoven>
English
Conference Paper
Fraunhofer IEM ()

Abstract
The increased sharing of computational resources elevates the risk of side channels and covert channels, where an entity’s security is affected by the entities with which it is co-located. This introduces a strong demand for mechanisms that can effectively isolate individual computations. Such mechanisms should be efficient, allowing resource utilisation to be maximised despite isolation.
In this work, we develop a model for uniformly describing isolation, co-location and containment relationships between entities at multiple levels of a computer’s architecture and at different granularities. In particular, we examine the formulation of constraints on co-location and placement using partial specifications, as well as the cost of maintaining isolation guarantees on dynamic systems. We apply the model to a number of established attacks and mitigations.
This work was supported by the German Federal Ministry of Education and Research (BMBF) within EC SPRIDE. At the time this research was conducted, Eric Bodden was at Fraunhofer SIT and Technische Universität Darmstadt.

: http://publica.fraunhofer.de/documents/N-422680.html