Language-Based Security For Distributed Systems

In diesem Seminar werden aktuelle Herausforderungen für die Sicherheit verteilter Systeme mit den Möglichkeiten moderner sprachbasierter Ansätze zur IT-Sicherheit verbunden. Verteilte Systeme zeichnen sich typischerweise durch eine erhöhte Angriffsfläche, heterogene Plattformen und mehrseitige Sicherheitsinteressen aus. Hierdurch ergeben sich besondere Herausforderungen für die IT-Sicherheit. Sprachbasierte Ansätze zur IT-Sicherheit nutzen die Eigenschaften formaler Sprachen (Programmier- und Spezifikationssprachen) aus, die bei der Konstruktion von IT-Systemen verwendet werden. Durch die Verwendung von semantisch-fundierten Programmanalysen lassen sich Sicherheitsanforderungen zuverlässig überprüfen. Durch die Verwendung von Laufzeitmechanismen und von Programmtransformationen können zusätzliche Sicherheitsanforderungen durchgesetzt werden. Sprachbasierte Ansätze können also sowohl zur Zertifizierung sicherheitskritischer Systeme als auch zu deren Härtung eingesetzt werden. Folgende methodischen Aspekte werden im Rahmen dieses Themenbereichs behandelt: eigenständiges Einarbeiten in ein relevantes Thema anhand von bereitgestellter Literatur (englischsprachig), eigene darüber hinausgehende Literaturrecherche (unter Anleitung), Beurteilung und Einordnung der Ergebnisse aus der Literatur, Vorbereitung eines Vortrags mit Folien über die Thematik (unter Anleitung), Halten des Vortrags vor einem Publikum mit heterogenem Vorwissen, Fachdiskussionen basierend auf eigenem Vortrag und Literatur sowie Vorträgen anderer, sowie Verfassen einer schriftlichen Ausarbeitung über die Thematik (unter Anleitung).