Ort: Raum S2-02 / E302
Datum und Zeit: Dienstag, 18. November 2008, 16:25-18:00 Uhr
Timo Schneider, TU Darmstadt (Bachelorarbeit)
Fallstudie: Sicherheitsautomat für einen orchestrierten Dienst in einer serviceorientierten Architektur
Diese Arbeit behandelt eine Fallstudie zur Durchsetzung einiger Sicherheitsei-
genschaften in einer serviceorientierten Architektur. Der Anwendungsfall stellt
einen Bestellvorgang in einem Handelsunternehmen dar, welcher bestimmte
Safety-Eigenschaften erfüllen soll. Die Sicherheitseigenschaften werden als Si-
cherheitsautomaten formalisiert und anschließend in den Java-Bytecode der
bereits bestehenden Architektur eingefügt. Die Programmstruktur der service-
orientierten Architektur wird vorgestellt und eine Begründung zur Einhaltung
der Richtlinie gegeben.