Transforming graphical system models to graphical attack models

Manually identifying possible attacks on an organisation is a complex undertaking; many different factors must be considered, and the resulting attack scenarios can be complex and hard to maintain as the organisation changes. System models provide a systematic representation of organisations that helps in structuring attack identification and can integrate physical, virtual, and social components. These models form a solid basis for guiding the manual identification of attack scenarios. Their main benefit, however, is in the analytic generation of attacks. In this work we present a systematic approach to transforming graphical system models to graphical attack models in the form of attack trees. Based on an asset in the model, our transformations result in an attack tree that represents attacks by all possible actors in the model, after which the actor in question has obtained the asset.

Paper published as:
Ivanova M.G., Probst C.W., Hansen R.R., Kammüller F. (2016) Transforming Graphical System Models to Graphical Attack Models. In: Mauw S., Kordy B., Jajodia S. (eds) Graphical Models for Security. GraMSec 2015. Lecture Notes in Computer Science, vol 9390. Springer, Cham