Pym, D;
Caulfield, T;
Williams, J;
(2014)
Compositional security modelling: structure, economics, and behaviour.
In: Tryfonas, T and Askoxylakis, I, (eds.)
Lecture Notes in Computer Science.
(pp. pp. 233-245).
Springer International Publishing: Switzerland.
![]() |
PDF
caulfield-pym-williams-hci2014.pdf Download (405kB) |
Abstract
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.
Type: | Proceedings paper |
---|---|
Title: | Compositional security modelling: structure, economics, and behaviour |
Event: | Second International Conference, HAS 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014 |
Location: | Heraklion, Greece |
ISBN-13: | 9783319076195 |
Open access status: | An open access version is available from UCL Discovery |
DOI: | 10.1007/978-3-319-07620-1_21 |
Publisher version: | http://dx.doi.org/10.1007/978-3-319-07620-1_21 |
Language: | English |
Additional information: | The original publication is available at www.springerlink.com |
UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
URI: | https://discovery-pp.ucl.ac.uk/id/eprint/1425725 |
Archive Staff Only
![]() |
View Item |