T. . Caulfield and D. . Pym, “Modelling and Simulating Systems Security Policy”, EAI Endorsed Trans Sec Saf, vol. 3, no. 8, p. e3, Aug. 2015.