Der Vortrag befasst sich mit der Sicherheit informationstechnischerSysteme. Thema des Vortrags ist der Einsatz formaler Modellierungsmethoden mit dem Ziel, in besonders sicherheitskritischen Anwendungsfeldern ein sehr hohes Qualitätsniveau der Informationssicherheit zu erreichen.
Im Mittelpunkt der vorgestellten Arbeiten stehen Sicherheitspolitiken und Metapolitiken: präzise und vollständige Beschreibungen der Sicherheitsziele eines Systems, gemeinsam mit einer Strategie, die diese Sicherheitsziele implementiert.
Im ersten Teil des Vortrags werden Methoden zur Modellierung und Spezifikation von Sicherheitspolitiken in geschlossenen Systemen vorgestellt. Hierunter werden Systeme verstanden, in denen durch technische oder administrative Massnahmen bestimmte Kapselungseigenschaften angenommen werden können. In Teil zwei des Vortrags wird dieser Ansatz auf offene System erweitert: weltumspannende Rechnernetze, in denen viele, unabhängige Organisationen zu offenen Informationsverbunden, zu elektronischem Handel oder zu kooperativer Arbeit zusammengeschlossen sind, und in denen viele Annahmen aus der heilen Welt der geschlossenen Systeme nicht mehr gemacht werden können.
Referent: Dr. Winfried Kühnhauser,
GMD - Forschungszentrum Informationstechnik
St. Augustin - Deutschland
Zeitpunkt: Freitag, 15. Mai 1998, 14 Uhr c. t.
Ort: HS 3 der Universität Klagenfurt