Security managers face the challenge of formulating and implementing policies that deliver their desired system security postures - for example, their preferred balance of confidentiality, integrity, and availability - within budget (monetary and otherwise). In this paper, we describe a security modelling methodology, grounded in rigorous mathematical systems modelling and economics, that captures the managers' policies and the behavioural choices of agents operating within the system. Models are executable, so allowing systematic experimental exploration of the system-policy co-design space, and compositional, so managing the complexity of large-scale systems. © 2014 Springer International Publishing.
CITATION STYLE
Caulfield, T., Pym, D., & Williams, J. (2014). Compositional security modelling: Structure, economics, and behaviour. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8533 LNCS, pp. 233–245). Springer Verlag. https://doi.org/10.1007/978-3-319-07620-1_21
Mendeley helps you to discover research relevant for your work.