VERSECLOUD
| Period: | 2021-2024 |
| Funder: | Federal Ministry of Education and Research (KMU-innovativ) |
| Principal Investigators: | Kernkonzept GmbH, genua GmbH, University of Potsdam |
Summary (from the Project Website)
Im Projekt „Vertrauenswürdige virtualisierte Cloudumgebungen für sicherheitskritische Anwendungen (VERSECLOUD)“ wird anhand der konkreten Implementierung eines Mikrokerns (L4Re-Mikrokern) eine performante, flexible und vertrauenswürdige Virtualisierungslösung für sicherheitskritische Cloudanwendungen entwickelt, die auf diverser Standardhardware einsetzbar ist. Die korrekte Implementierung weist das Forschungsteam anhand formaler Methoden und modellbasierten Testens nach. Dabei entsteht ein abstraktes Modell des Systems, dessen Korrektheit mathematisch beweisbar ist und die Zertifizierung für den Einsatz in sicherheitsrelevanten Bereichen ermöglicht. Zur Datensicherung und für zukünftige computerforensische Untersuchungen wird die Möglichkeit virtueller Datenkopien („Snapshots“) implementiert.