Information security managers with fixed budgets must invest in security measures to
mitigate increasingly severe threats whilst maintaining the alignment of their systems with …

Mathematical modelling and simulation modelling are fundamental tools of engineering,
science, and social sciences such as economics, and provide decision-support tools in …

Security policy-makers (influencers) in an organization set security policies that embody
intended behaviours for employees (as decision-makers) to follow. Decision-makers then …

The Logic of Bunched Implications (BI) was introduced by O'Hearn and Pym. The original
presentation of BI emphasised its role as a system for formal logic (broadly in the tradition of …

In systems modelling, a system typically comprises located resources relative to which
processes execute. One important use of logic in informatics is in modelling such systems for …

Improving Security Policy Decisions with Models Page 1 34 September/October 2015
Copublished by the IEEE Computer and Reliability Societies 1540-7993/15/$31.00 © 2015 …

The infrastructure upon which the functioning of society depends is composed of complex
ecosystems of systems. Consequently, we must reason about the properties of such …

Managing information risk is a complex task that must continually adapt to business and
technology changes. We argue that cloud computing presents a more significant step …

Simulation modelling is an important tool for exploring and reasoning about complex
systems. Many supporting languages are available. Commonly occurring features of these …

We present a logic of separating modalities, LSM, that is based on Boolean BI. LSM's
modalities, which generalize those of S4, combine, within a quite general relational …