Model-based Security Analysis
Are you really secure?
DOI:
https://doi.org/10.17560/atp.v63i11-12.2568Keywords:
Industrial-Security, Control System Model, Security-AnalysisAbstract
Evaluating the security of a system requires an adequate description. This work introduces a methodology for security evaluation. By starting with a simple model and iteratively refining it the resulting model aims to represent a sufficiently complete
view of the system under evaluation, while keeping the individual steps manageable. After each modelling step (refining the model) an analysis can be carried out using the system representation. For modelling and analysis, parts of the system or their
properties can be missing or only vaguely represented.
Downloads
Published
Issue
Section
License
Copyright (c) 2021 Vulkan-Verlag GmbHDie Zeitschrift und alle in ihr enthaltenen Beiträge und Abbildungen sind urheberrechtlich geschützt. Jede Verwertung außerhalb der engen Grenzen des Urheberrechtsgesetzes ist ohne Zustimmung des Verlages unzulässig und strafbar. Das gilt insbesondere für Vervielfältigungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Bearbeitung in elektronischen Systemen. Auch die Rechte der Wiedergabe durch Vortrag, Funk- und Fernsehsendung, im Magnettonverfahren oder ähnlichem Wege bleiben vorbehalten.
