Transforming graphical system models to graphical attack models

Georgieva Ivanova, Marieta and Probst, Christian and Hansen, Rene Rydhof and Kammueller, Florian (2015) Transforming graphical system models to graphical attack models. In: The Second International Workshop on Graphical Models for Security, GraMSec'15, co-located with CSF2015. LNCS . Springer. (Accepted/In press)

Full text is not in this repository.

Abstract

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.

Item Type: Book Section
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 16979
Depositing User: Florian Kammueller
Date Deposited: 15 Jun 2015 10:22
Last Modified: 13 Oct 2016 14:35
URI: http://eprints.mdx.ac.uk/id/eprint/16979

Actions (login required)

Edit Item Edit Item