In Workflows können Zustand und Sicherheitskontext in einer Weise repräsentiert werden, die einen unmittelbaren Zugriff erlauben. WoSec ist ein Projekt, das grafische Workflow-Modelle nutzt, um anhand dieser den Ausführungsfortschritt und die Sicherheitseigenschaften von Workflows zu visualisieren.

Den Sourcecode von WoSec finden sie auf Github.

Die folgenden Szenarien haben für die Evaluierung eingesetzt:

• FaceVZ
• Autokauf
• Onlinemarkt
• Praktikumsvermittlung

 Die folgenden Fragebögen wurden in der Evaluierung verwendet:

• Vorstudie: Fragebögen A, B, C, D, E
• Hauptstudie:
  • Allgemeiner Fragebogen
  • Fragebogen für die einzelnen Durchgänge
  • Vergleichsfragebogen
  • Fragebogen zur allgemeinen Meinung

 Eine Livedemo von WoSec mit diesen Szenarien ist unter https://wosec.ipd.kit.edu/wosec/studie/ verfügbar.