IT-Systeme mit hohen Sicherheitsanforderungen verwenden in zunehmenden Ma\u00dfe Sicherheitspolitiken zur Beschreibung, Analyse und Implementierung ihrer Sicherheitseigenschaften. Zur pr\u00e4zisen Spezifikation von Sicherheitspolitiken werden Sicherheitsmodelle eingesetzt, die dann eine formale Analyse der Sicherheitseigenschaften erm\u00f6glichen, und aus denen dann Politikimplementierungen generiert werden k\u00f6nnen. Konventionelle Betriebssysteme setzen dieser Technologie enge Grenzen. Vielmehr sind hierzu neue Betriebssystemabstraktionen und Sicherheitsarchitekturen erforderlich, die die Integration von Sicherheitspolitiken in ein Betriebssystem erm\u00f6glichen. Der Vortrag stellt neue Kernabstraktionen und die Sicherheitsarchitektur des Vertreters einer neuen Betriebssystemgeneration vor.<\/p>\n
\ufeffWinfried K\u00fchnhauser studierte Informatik mit Nebenfach Mathematik an der Universit\u00e4t Dortmund. Dort verbrachte er gleichfalls seine Assistentenzeit und wechselte anschlie\u00dfend zum GMD-Forschungszentrum Informationstechni<\/p>\n
k in St. Augustin. An der GMD leitete er eine Vielzahl nationaler und internationaler Forschungsprojekte, zu denen sowohl Grundlagenforschungsprojekte auf dem Gebiet der verteilten Betriebssysteme und IT-Sicherheit als auch hieraus erwachsende Technologietransferprojekte geh\u00f6rten. Er promovierte an der Technischen Universit\u00e4t Darmstadt und habilitierte sich auf dem Gebiet der Informatik.<\/p>\n
Neben diesen Aktivit\u00e4ten nahm er Gast- und Vertretungsprofessuren im In- und Ausland, Lehrauftr\u00e4ge an verschiedenen Universit\u00e4ten sowie Forschungsaufenthalte im Ausland wahr. Er ist Mitglied der Autorengruppe des Fernstudiengangs „Informationssicherheit“ und Autor zahlreicher internationaler wissenschaftlicher Publikationen. Im Jahre 2000 wurde Winfried K\u00fchnhauser auf eine Professur an der Fakult\u00e4t f\u00fcr Informatik und Automatisierung im Fachgebiet „Verteilte Systeme und Betriebssysteme“ an der Universit\u00e4t Ilmenau berufen und leitet dort seit 2001 das Institut f\u00fcr Praktische Informatik und Medieninformatik.<\/p>\n
IT-Systeme mit hohen Sicherheitsanforderungen verwenden in zunehmenden Ma\u00dfe Sicherheitspolitiken zur Beschreibung, Analyse und Implementierung ihrer Sicherheitseigenschaften. Zur pr\u00e4zisen Spezifikation von Sicherheitspolitiken werden Sicherheitsmodelle eingesetzt, die dann eine formale Analyse der Sicherheitseigenschaften erm\u00f6glichen, und aus denen dann Politikimplementierungen generiert werden k\u00f6nnen. … Continue reading