Computer Science Colloquium

Prof. Dr. Dieter Gollmann
TU Hamburg-Harburg

Standards und Sicherheitsspezifikationen

Fri 18.12.2009, 12:00, 60 minutes
Johannes Kepler Universität Linz, Raum T642

Abstract

IT-Dienste werden im Zusammenspiel verschiedenster Akteure, Geräte, und Protokolle erbracht. Daher kommt der Standardisierung der Schnittstellen zwischen den Komponenten eine besondere Bedeutung zu. Gleichzeitig soll aber die Standardisierung nur so weit wie nötig getrieben werden, um den Entwurfs-spielraum bei der Konstruktion der einzelnen Komponenten nicht unangebracht einzuschränken. Bei der Spezifikation von Sicherheitskomponenten stößt dieser Ansatz an seine Grenzen, da Sicherheitsprotokolle nicht allein über ihre Schnitt-stelle definiert werden können. Anhand von Beispielen werden Lücken in den dynamischen Beziehungen zwischen verschiedenen Standards dargestellt und grundsätzliche Auswirkungen auf die Sicherheitsanalyse diskutiert.

---

The Computer Science Colloquium is organized by the Department of Coputer Science at JKU, the Österreichische Gesellschaft für Informatik (ÖGI) and the Österreichische Computergesellschaft (OCG).

List of all talks