Benutzer: Gast  Login
Originaltitel:
Security in Embedded Avionic Systems using the Concept of Multiple Independent Levels of Security
Übersetzter Titel:
Angriffssicherheit für eingebettete avionische Systeme unter der Benutzung der Multiple Independent Levels of Security
Autor:
Müller, Kevin
Jahr:
2017
Dokumenttyp:
Dissertation
Fakultät/School:
Fakultät für Elektrotechnik und Informationstechnik
Betreuer:
Sigl, Georg (Prof. Dr.)
Gutachter:
Sigl, Georg (Prof. Dr.); Herkersdorf, Andreas (Prof. Dr.)
Sprache:
en
Fachgebiet:
DAT Datenverarbeitung, Informatik; ELT Elektrotechnik
Stichworte:
Security, MILS, High-Assurance, Embedded Systems
Übersetzte Stichworte:
Angriffssicherheit, Security, hochkritische Systeme, eingebettete Systeme
TU-Systematik:
DAT 460d
Kurzfassung:
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...     »
Übersetzte Kurzfassung:
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
WWW:
https://mediatum.ub.tum.de/?id=1344365
Eingereicht am:
16.02.2017
Mündliche Prüfung:
13.10.2017
Letzte Änderung:
19.02.2020
 BibTeX