Security in Embedded Avionic Systems using the Concept of Multiple Independent Levels of Security

€ 64.99
Lieferung in 7-14 Tagen
Kurzbeschreibung des Verlags:

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 Model is applied to the C language and connected to MILS properties. Second, this thesis discusses compositional certifications in the Common Criteria and proposes a new certification strategy that matches with MILS.

Mehr Informationen
ISBN 9783745063943
Erscheinungsdatum 05.12.2017
Umfang 148 Seiten
Genre Informatik, EDV
Format Hardcover
Verlag epubli
Empf. Lesealter ab 18 Jahre
Diese Produkte könnten Sie auch interessieren:
Balaji Varanasi, Maxim Bartkov
€ 32,99
James Kalbach, Jens Olaf Koch
€ 44,20
Dr. Thomas Pissulla
€ 27,80
Dr. Thomas Pissulla
€ 20,60
Xiaofeng Wang, Antonio Martini, Anh Nguyen-Duc, Viktoria Stray
€ 63,79
Michaela Weiß
€ 26,80
Anne Grabs
€ 35,90