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