Bachelor Thesis BCLR-2017-45

BibliographyMikalkinas, Domas: STPA Sec: Entwicklung eines Eclipse-Plugins zur Sicherheitsanalyse mit STPA-Sec.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Bachelor Thesis No. 45 (2017).
89 pages, german.
CR-SchemaI.6.1 (Simulation Theory)
I.6.3 (Simulation and Modeling Applications)
K.6.5 (Security and Protection)
Abstract

Heutzutage ist Software ein wichtiger Bestandteil von Systemen, häufig auch bei sicherheitskritischen Systemen. Ein sicherheitskritisches System kann Gefahren für Sachwerte, Menschen und Umwelt verursachen, was wiederum in einem Schaden oder Verlust jener Werte resultieren kann. Daher ist die Gefahrenanalyse einer der wichtigsten Schritte bei der Entwicklung sicherheitskritischer Systeme. Für die Analyse der Betriebssicherheit existiert mit XSTAMPP bereits ein Werkzeug, welches die Gefahrenanalyse auf Basis des STPA-Ansatzes unterstützen soll. Jedoch existiert noch keines für STPA-Sec, mit welchem, als Abwandlung des STPA-Ansatzes, die Verwundbarkeiten durch Angriffe böswilliger Angreifer eines sicherheitskritischen Systems analysiert werden. Daher wird in dieser Arbeit ein Tool entwickelt, welches die Gefahrenanalyse der Angriffssicherheit von Systemen ermöglicht, um diese Lücke zu schließen.

Full text and
other links
PDF (4927010 Bytes)
Department(s)University of Stuttgart, Institute of Software Technology, Software Engineering
Superviser(s)Wagner, Prof. Stefan; Abdulkhaleq, Asim
Entry dateSeptember 28, 2018
   Publ. Computer Science