Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Model-based situational security analysis

Modell-basierte, situative Sicherheitsanalyse
: Eichler, J.; Rieke, R.

Bencomo, N. ; Association for Computing Machinery -ACM-; Institute of Electrical and Electronics Engineers -IEEE-:
6th Workshop on Models@run.time at MODELS 2011. Proceedings : Wellington, New Zealand, October 17th 2011; ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems
Wellington, 2011 (CEUR Workshop Proceedings 794)
ISSN: 1613-0073
Workshop on Models@run.time <6, 2011, Wellington>
International Conference on Model Driven Engineering Languages and Systems (MODELS) <14, 2011, Wellington>
Fraunhofer SIT ()
security requirement elicitation; predictive security analysis; analysis of business process behavior; security modelling and simulation; security monitoring

Security analysis is growing in complexity with the increase in functionality, connectivity, and dynamics of current electronic business processes. To tackle this complexity, the application of models in pre-operational phases is becoming standard practice. Runtime models are also increasingly applied to analyze and validate the actual security status of business process instances. In this paper we present an approach to support not only model-based evaluation of the current security status of business process instances, but also to allow for decision support by analyzing close-future process states. Our approach is based on operational formal models derived from development-time process and security models. This paper exemplifies our approach utilizing real world processes from the logistics domain and demonstrates the systematic development and application of runtime models for situational security analysis.