Submitted: September 2012
Abstract
In der realen (nicht fehlerfreien) Welt hängen Sicherheitsaspekte häufig von Faktoren ab, die sich einer Kontrolle entziehen. So kann beispielsweise aufgrund menschlicher Beteiligung oder höherer Gewalt die Sicherheit eines Systems nicht vollständig garantiert werden.
Die Sprache AspectKP ist ein verteiltes Prozesskalkül, das die abstrakte Beschreibung von sicherheitskritischen Systemen erlaubt.
Zusätzlich zu den üblichen grundlegenden Konstrukten der Prozessalgebra können in AspectKP einzelne Prozesse mit probabilistischen Sicherheitsrichtlinien (Policies) ausgestattet werden.
Diese Policies beschreiben unter welchen Umständen bestimmte Aktionen ablaufen dürfen; sie werten aus zu einem probabilistischen vierwertigen Wahrheitswert.
Die formale Semantik von AspectKP ergibt sich aus einem einfachen Markow-Entscheidungsproblem.
Ziel dieser Bachelorarbeit ist die erstmalige Realisierung eines Werkzeugs, das die Semantik aus diesem Prozesskalkül erzeugt. Mithilfe des entwickelten Tools können Modelle verteilter Systeme mit sicherheitskritischer Datenübertragung entworfen werden. Anhand einer Fallstudie soll das realisierte Werkzeug evaluiert werden.