SO geht Software Sicherheit!

Summary

Dieses Video ist ein Experiment, in dem der Sprecher seine Gastvorlesung über Software Security Engineering in einer informatischen Masterstudiengänge vermittelt. Er konzentriert sich auf Datenflussdiagramme und Vertraulichkeitsanalyse, um die Sicherheit in der Softwareentwicklung zu erhöhen. Er erklärt Begriffe wie Vertraulichkeit, Zugriffskontrolle und verschlüsselte Kommunikation und zeigt, wie Datenflussdiagramme dazu beitragen können, Vertraulichkeitsverletzungen in einfachen und komplexen Systemen zu identifizieren. Der Sprecher nutzt auch mathematische Konzepte, um die Analyse zu erläutern und betont die Notwendigkeit von Vertraulichkeit in der heutigen vernetzten Welt.

Takeaways

• 👨‍🏫 Der Redner hält Gastvorlesungen im Bereich Software Security Engineering, wo es um Methoden zur Verbesserung der Sicherheit in der Softwareentwicklung geht.
• 🔒 Die Vorlesung beinhaltet das Erstellen von Datenflussdiagrammen und Vertraulichkeitsanalysen, welche die Grundlage für seine Forschung sind.
• 🗝️ Vertraulichkeit wird im Kontext der Vorlesung definiert als sensible Daten, die nur für autorisierte Personen oder Prozesse zugänglich sein sollten.
• 💡 Ein einfaches Beispiel aus der Vorlesung ist die Darstellung einer Online-Shop-Architektur, um die Vertraulichkeitsprobleme wie Zugriffskontrolle, verschlüsselte Kommunikation und Eingabedaten zu veranschaulichen.
• 🔗 Datenflussdiagramme sind ein Werkzeug, um die Vertraulichkeit in Softwaresystemen zu analysieren und werden als gerichtete, azyklische Graphen (DAG) beschrieben.
• 📊 Die Vorlesung verwendet mathematische Konzepte wie partielle Ordnung, strikte Ordnung und Transitivität, um die Eigenschaften von Datenflussdiagrammen zu erklären.
• 🔍 Durch die Analyse von Datenflussdiagrammen können Vertraulichkeitsverletzungen identifiziert werden, indem man Datenflüsse und deren Beziehungen zu Systemkomponenten überprüft.
• 🏷️ Die Verwendung von Labels (knotenlabel und datenlabel) ermöglicht es, Vertraulichkeitsattribute an Prozesse und Datenflüsse zu binden und so eine formale Methode zur Vertraulichkeitsanalyse zu entwickeln.
• 🔄 Die Vorlesung diskutiert auch die Automatisierung von Vertraulichkeitsanalysen, wobei die Verfolgung von Datenflüssen und die Überprüfung gegen Vertraulichkeitsanforderungen algorithmisch durchgeführt werden können.
• 🌐 Der Redner reflektiert über die Herausforderungen und Möglichkeiten der Wissenschaftskommunikation und nutzt das Video als Experiment, um sein Vorgehen zu testen und Feedback zu erhalten.

Q & A

Was ist das Hauptthema des Videos?

Das Hauptthema des Videos ist die Darstellung von Vertraulichkeit und Datenflussdiagrammen in der Softwaresicherheit, die in einer Gastvorlesung im Informatik-Master am KIT behandelt werden.

Was sind die Hauptinhalte der Gastvorlesung?

Die Gastvorlesung behandelt verschiedene Techniken und Ansätze für mehr Sicherheit in der Softwareentwicklung, einschließlich Datenflussdiagrammen und Vertraulichkeitsanalyse.

Wie definiert der ISO-Standard 27000 die Vertraulichkeit?

Der ISO-Standard 27000 definiert Vertraulichkeit als die Zugänglichkeit von sensiblen Daten nur für berechtigte Personen, Prozesse oder Entitäten.

Welche Rolle spielen Datenflussdiagramme in der Vertraulichkeitsanalyse?

Datenflussdiagramme sind eine Notation, um Vertraulichkeit effektiv darzustellen und verschiedene Datenflüsse im System zu verfolgen, was für die Vertraulichkeitsanalyse und -bewertung von entscheidender Bedeutung ist.

Was ist ein gerichteter azyklischer Graph und wie ist er in der Vertraulichkeitsanalyse relevant?

Ein gerichteter azyklischer Graph (DAG) ist eine Menge von Kanten und Knoten, bei der es keine Zyklen gibt. Dies vereinfacht die Analyse von Datenflüssen und ist für die Vertraulichkeitsanalyse von Softwarearchitekturen relevant.

Wie werden in den Datenflussdiagrammen die externen Entitäten, Prozesse und Zwischenspeicher dargestellt?

Externe Entitäten werden durch Vierecke dargestellt, Prozesse durch Kreise und Zwischenspeicher, wie Logdateien, durch spezielle Symbole oder Anmerkungen.

Was bedeuten die Begriffe irreflexiv, asymmetrisch und transitiv in Bezug auf Datenflüsse?

Irreflexiv bedeutet, dass es keinen Datenfluss zu sich selbst gibt. Asymmetrisch bedeutet, dass ein Fluss in eine Richtung nicht impliziert, dass er auch in die entgegengesetzte Richtung geht. Transitiv bedeutet, dass ein Datenfluss, der über mehrere Schritte weitergegeben wird, immer gültig ist.

Wie können Datenflussdiagramme aus Sourcecode oder Architekturdokumentation extrahiert werden?

Datenflussdiagramme können aus Sourcecode oder Architekturdokumentation durch Analyse der Interaktionen und Abläufe zwischen Komponenten extrahiert werden, um die Datenflüsse im System darzustellen.

Was sind die praktischen Anwendungen von Datenflussdiagrammen in der Softwareentwicklung?

Datenflussdiagramme werden in der Softwareentwicklung verwendet, um die Vertraulichkeit von Daten zu bewerten, potenzielle Sicherheitsrisiken zu identifizieren und sicherere Softwarearchitekturen zu entwickeln.

Wie werden Knoten- und Datenlabel in den Datenflussdiagrammen verwendet?

Knotenlabel beschreiben vertraulichkeitsbezogene Eigenschaften der Knoten, wie z.B. die Cloud-Lage einer Datenbank, während Datenlabel, auch als Datencharakteristiken bezeichnet, die Datenflüsse in Bezug auf ihre Vertraulichkeit kennzeichnen.