http://www.tu-ilmenau.de

Logo TU Ilmenau


FG Verteilte Systeme und Betriebssysteme


headerphoto FG Verteilte Systeme und Betriebssysteme
Ansprechpartner

Prof. Dr.-Ing. habil. Winfried Kühnhauser

Fachgebietsleiter

Telefon +49 (0) 3677 69 4577

E-Mail senden

Ihre Position

INHALTE

Forschung

Forschungsschwerpunkte

Unser Arbeitsgebiet ist das modellgetriebene Security Engineering: die methodische Entwicklung der Sicherheitseigenschaften von IT-Systemen auf der Grundlage formaler Sicherheitsmodelle. Die Methode basiert auf dem Ansatz, ausgehend von informell beschriebenen Sicherheitsanforderungen unter Einsatz formaler Methoden in hohem Maße verifizierbare Sicherheitspolitiken zu entwickeln, die in die Trusted Computing Base (TCB) eines IT-Systems eingebunden werden. Namensgebend ist dabei der Einsatz formaler Sicherheitsmodelle, die in einem frühen Entwurfsschritt durch statische und simulative Verfahren analysiert werden. Erfolgreich analysierte Modelle werden anschließend in ausführbaren Code transformiert und in eine funktional skalierbare TCB integriert, die dann die Sicherheitspolitik zur Systemlaufzeit durchsetzt.