Betriebssysteme · Institut für Systemarchitektur · Fakultät Informatik · TU Dresden



31. 01. 2011

Provable Protection of Confidential Data in Microkernel-Based Systems


Marcus Völp

TU Dresden

Dissertations-Verteidigung

Today's mobile, desktop, and server systems process inceasing amounts of high-value personal, commercial or industrial data. Yet, despite over 30 years of academic and industrial efforts, the provable protection of confidential data against leakage over covert channels is still an issue. My dissertation's thesis is to combine the complementary strength of microkernel-based systems and security-type-system-based static analyzes to provably protect confidential data in open microkernel-based systems. The two central contributions of my thesis are a non-interference secure budget-enforcing fixed-priority scheduler that prevents leakage over scheduling-related timing channels and a sound security-type system for the analysis of the low-level operating-system code of microkernel-based systems.
10. Dec 2018
· Copyright © 2001-2010 Operating Systems Group, TU Dresden | Impressum ·