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

FG Verteilte Systeme und Betriebssysteme

Sicherheitseigenschaften von IT-Systemen haben sich in den letzten Jahren von elitären Merkmalen hochspezialisierter Systeme zu selbstverständlichen Eigenschaften entwickelt, die in nahezu allen Anwendungsbereichen eine Schlüsselrolle einnehmen. Es erscheint heute als Binsenweisheit, dass lebenswichtige Bereiche unserer Gesellschaft – Energie- und Wasserversorgung, Verkehrs-, Gesundheits- und Finanzmanagement, Produktion, Verwaltung, Forschung und Entwicklung – hochgradig abhängig von der Sicherheit und Verlässlichkeit unserer IT-Systeme sind.

Sicherheit und Verlässlichkeit von Betriebssystemen und verteilten IT-Systemen sind unser Forschungsgebiet. Wir sind der Überzeugung, dass angesichts des Umfangs und der Komplexität heutiger Sicherheitsanforderungen neue Entwicklungsmethoden und Implementierungsparadigmen notwendig sind, und aus dieser Überzeugung leiten wir unsere Forschungsschwerpunkte ab:

  • Modellbasiertes Security Engineering: die methodische Entwicklung von Sicherheitseigenschaften auf der Grundlage formaler Sicherheitsmodelle
  • Analyse, Simulation und Visualisierung von Sicherheitsmodellen
  • Sicherheitsarchitekturen zur Implementierung von Sicherheitsmodellen in der Trusted Computing Base von Betriebssystemen.