Caulfield, Tristan, and David Pym. 2015. “Modelling and Simulating Systems Security Policy”. EAI Endorsed Transactions on Security and Safety 3 (8):e3. https://doi.org/10.4108/eai.24-8-2015.2260765.