Bearbeite Vortrag: Verification of Quantitative Information Flow Security Using Statistical Model Checking

Du bist aus dem folgenden Grund nicht berechtigt, diese Seite zu bearbeiten:

Fehlende Berechtigung Bitte melde Dich mit Deinen KIT-Zugangsdaten an. Falls Du trotz Anmeldung diese Seite siehst, bitte eine/-n Wissensmanager/-in darum, Dich zur richtigen Gruppe hinzuzufügen.

Titel:	Verification of Quantitative Information Flow Security Using Statistical Model Checking	Zum ändern des Titels bitte anklicken und die Seite verschieben.
Vortragende(r):
E-Mail Vortragende(r):		Bitte beachten Sie: Durch den Eintrag hier wird die E-Mail-Adresse des/der Vortragenden öffentlich sichtbar. Daher bitte die KIT-Adresse verwenden.
Vortragssprache:
Vortragstyp:
Betreuer(in):		Falls ein Betreuer noch nicht in dieser Liste vorhanden ist, bitte auf der Seite Betreuer hinzufügen und dieses Formular neu laden.
Termin:
Vortragsmodus:
Kurzfassung:	Mit der Verbreitung von Softwaresystemen und steigendem Sicherheitsbewusstsein sind Schutzziele wie Vertraulichkeit essenziell. Informationsflussanalysen helfen um Sicherheitsrichtlinien zu überprüfen, insbesondere durch Noninterference. Bisherige Arbeiten bieten allerdings oft keine praxisnahen Ergebnisse oder sind schwer im Entwicklungsprozess anwendbar. Jedoch existieren informationstheoretische Metriken um Informationsecks in Systemen quantifizieren zu können. Im Rahmen der Masterarbeit wurde daher ein Werkzeug zur Unterstützung sicherheitsrelevanter Entscheidungen in frühen Entwicklungsphasen entwickelt. Dieser Ansatz basiert auf Stochastic Timed Automata (STA) und berücksichtigt probabilistische und zeitliche Aspekte. Zur Analyse wurde ein erweiterter Noninterference-Modellprüfungsansatz für zeitbehaftete Systeme, sowie ein Werkzeug basierend auf Statistical Model Checking (SMC) zur Extraktion von Erreichbarkeitsmetriken genutzt. Die entwickelte Methode wurde durch Fallstudien evaluiert und die Beziehung zu informationstheoretischen Metriken untersucht. Die Ergebnisse zeigten eine positive Korrelation, jedoch auch ein Verbesserungspotenzial bei der Genauigkeit.	Bitte maximal 150 Wörter verwenden.

Diese Seite beobachten

Abbrechen