Compositional security modelling: structure, economics, and behaviour
T Caulfield, D Pym, J Williams - … of Information Security, Privacy, and Trust …, 2014 - Springer
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 …
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 …
Compositional security modelling: structure, economics, and behaviour
D Pym, T Caulfield, J Williams - 2014 - discovery.ucl.ac.uk
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 …
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 …
Showing the best results for this search. See all results