User: Guest  Login
Original title:
Security in Embedded Avionic Systems using the Concept of Multiple Independent Levels of Security 
Translated title:
Angriffssicherheit für eingebettete avionische Systeme unter der Benutzung der Multiple Independent Levels of Security 
Year:
2017 
Document type:
Dissertation 
Institution:
Fakultät für Elektrotechnik und Informationstechnik 
Advisor:
Sigl, Georg (Prof. Dr.) 
Referee:
Sigl, Georg (Prof. Dr.); Herkersdorf, Andreas (Prof. Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik; ELT Elektrotechnik 
Keywords:
Security, MILS, High-Assurance, Embedded Systems 
Translated keywords:
Angriffssicherheit, Security, hochkritische Systeme, eingebettete Systeme 
TUM classification:
DAT 460d 
Abstract:
This thesis adapts the system design concept of Multiple Independent Levels of Security (MILS) as software architecture for a high-assurance use case - an avionic gateway to control data flows. Additionally, the thesis analyzes solutions to perform I/O operations securely. For this, hardware requirements are formulated and applied in a hardware audit on a special I/O accelerator. Last, this thesis focuses on methods to gain assurances for correct implementation. First, the Decentralized Label Mo...    »
 
Translated abstract:
Diese Arbeit nutzt das Systemdesignkonzept der Multiple Independent Levels of Security (MILS) als Softwarearchitektur für einen sicherheitskritischen Anwendungsfall – eine Avionik-Firewall zur Datenstromkontrolle. Zudem werden Lösungen für sichere I/O-Operationen analysiert. Dafür werden Hardwareanforderungen formuliert und in einem Hardware-Audit eines speziellen I/O-Beschleunigers angewandt. Zuletzt werden Methoden zur Sicherstellung von korrekter Software diskutiert. Dafür wird das Decentrali...    »
 
ISBN:
978-3-7450-6394-3 
Oral examination:
13.10.2017 
Last change:
19.02.2020