http://www.tu-ilmenau.de

Logo TU Ilmenau


Ansprechpartner

Dr. Heiko Wittwer

Referent für Wissenschaft

Telefon +49 3677 69-5022

E-Mail senden

Ihre Position

INHALTE

Forschungskompetenzen nach Fachgebieten

Verteilte Systeme und Betriebssysteme

Forschungsschwerpunkte

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 wie Energie- und Wasserversorgung, Verkehrsmanagement, Finanzmanagement, Produktion, Verwaltung, Forschung und Entwicklung massiv gefährdet werden, wenn IT-Systeme nicht verlässlich ihre Arbeit verrichten.

Sicherheit und Verlässlichkeit von IT-Systemen sind unser Forschungsgebiet; unsere Forschungsthemen sind

  • Modellgetriebenes Security Engineering: die methodische Entwicklung der Sicherheitseigenschaften von IT-Systemen auf der Grundlage formaler Sicherheitsmodelle
  • Analyse, Simulation und Visualisierung von Sicherheitsmodellen
  • Architekturen zur Integration formaler Sicherheitsmodelle in die Trusted Computing Base von Betriebssystemen.

Leistungsangebot

 

  • Entwurf, Analyse und Implementierung von Zugriffsschutzsystemen
  • Analyse der  Zugriffsschutzsysteme von Linux und SELinux Serversystemen
  • Entwurf, Analyse und Implementierung von Sicherheitspolitiken für SELinux-Systemen

 

 

 

Spezialausstattung

Die WorSE Security Engineering Workbench mit Werkzeugen zur Modellierung, Analyse und Implementierung von Sicherheitspolitiken

 

 

Kontakt

Univ.-Prof. Dr. Winfried Kühnhauser TU Ilmenau Fakultät für Informatik und Automatisierung Helmholtzplatz 5 Zusebau, Raum 3027 98693 Ilmenau Tel. +49 3677 69 4577 Fax +49 3677 69 4541 winfried.kuehnhauser@tu-ilmenau.de http://www.tu-ilmenau.de/vsbs/

Einordnung in die Forschungscluster

NanoengineeringPräzisionstechnik und PräzisionsmesstechnikTechnische und biomedizinische AssistenzsystemeAntriebs-, Energie- und UmweltsystemtechnikDigitale MedientechnologieMobilkommunikation

PDF drucken Print PDF of this Competence