Mikrokernel für statische und cloud-basierte Hochsicherheits-Anwendungen

Status: aktiv (Jan. 2021 - Dez. 2023)

Gefördert durch: Airbus Cybersecurity GmbH

Informationen zum Projekt

Im Projekt werden state-of-the-art Methoden evaluiert für den hochsicheren Betrieb von mikrokern-basierten Anwendungen.

Schwerpunkt

Der Schwerpunkt liegt auf dem sicheren Start des Systems. Dabei sind die Hardware, der Mikrokern und weitere Basiskomponenten zu konfigurieren und die Integrität der Software sicher zu stellen.
Die verwendeten Methoden sollen hinreichen um eine erfolgreiche Zertifizierung des Systems zu ermöglichen.

Systeme

Bei den betrachteten Systemen handelt es sich sowohl um statische Systeme mit spezifischen Aufgaben, als auch um cloud-basierte Anwendungen.
Ein statisches System ist beispielsweise ein Netzwerk-Gateway für die hochsichere Separierung von Kommunikationsnetzen.
Bei cloud-basierten Anwendungen ist der wesentliche Aspekt die hochsichere Trennung verschiedener Anwender im operationellen, teilweise militärischen Kontext.