Logikbasierte Security Policies

Thema: MINT Impulse
Art der Förderung: Personenförderprogramme
Geförderte Institution:
  • Hochschule Aalen - Technik und Wirtschaft

Die Prisma-Förderung für Prof. Dr. Marcus Gelderie soll ein Forschungsvorhaben im Themenbereich „IT-Sicherheit“ anstoßen. Ziel ist es, automatisiert Tests zu generieren, um Schwachstellen in Security Policies zu finden.

Ziele

Security Policies sind für viele Bereiche der IT-Sicherheit von zentraler Bedeutung. Die Policy beschreibt, welche Nutzer welche Aktionen ausführen dürfen. 
Ziel des Forschungsvorhabens ist es, automatisiert Tests für die Sicherheit von konkreten Policies zu generieren, um Schwachstellen darin zu finden. Dazu wird eine vom Policy-Administrator vorgegebene Sicherheitsrichtlinie verwendet. Diese Richtlinie soll den gewünschten Sicherheitslevel des Systems beschreiben – z.B. „Informationen über Nutzerkonten können nicht an die Website fließen“. Aus dieser Richtlinie sollen randomisierte Testfälle generiert werden, welche gezielt die Konsistenz der Policy gegen diese Richtlinien abprüft. 

Bei der Förderung handelt es sich um eine Anschubfinanzierung, die Vorarbeiten für nachfolgende Drittmittelanträge generieren soll.

Beteiligte Personen:

Judith Hohendorff

Programm-Managerin

Telefon: +49 (0)711 - 162213 - 12

E-Mail: judith.hohendorff@carl-zeiss-stiftung.de

Kein Bild verfügbar
Kein Bild verfügbar

Prof. Dr. Marcus Gelderie

Hochschule Aalen - Technik und Wirtschaft

Detailinformation:

Thema: MINT Impulse
Art der Förderung: Personen­förderprogramme
Zielgruppe: CZS Stiftungsprofessor:innen
Fördersumme: 46.000 €
Zeitraum: März 2022 - November 2022

Geförderte Institution:

Hochschule Aalen - Technik und Wirtschaft
Hochschule Aalen - Technik und Wirtschaft