Max Schlosser
Master Thesis, Hochschule Wismar, Dezember 2020
Autor: Max Schlosser
Titel: Modellgestützte Entwicklung eines Security Targets zur Beschreibung von Sicherheitszielen für ein Zulassungsverfahren
Abstrakt:
Ziel ist es einen modellbasierten Lösungsansatz zu entwickeln, welcher dazu dient die Erstellung von Zertifizierungsdokumenten zukünftig effizienter zu gestalten. Dafür wird der strukturierte Aufbau der Common Criteria und der Sicherheitsvorgaben analysiert. Diese daraus gewonnenen Erkenntnisse werden verwendet, damit für die Evaluierungsaspekte ASE_SPD.1 und ASE_OBJ.2 ein Teil der Sicherheitsvorgaben unter Zuhilfenahme eines exemplarischen Evaluierungsgegenstandes aus einem Modell generiert werden können. Das Ergebnis wird mit den Anforderungen der Common Criteria für die gewählten Evaluierungsaspekte validiert.
Abstract:
The goal is to develop a model-based approach that will help to make the creation of certification documents more efficient in the future. For this purpose, the structure of the Common Criteria and the security target is analyzed. The results are used to generate a part of the security target for the evaluation aspects ASE_SPD.1 and ASE_OBJ.2 with the help of an exemplary target of evaluation from a model. The result is validated against the Common Criteria requirements for selected evaluation aspects.
