Caulfield, T. .; Pym, D. . Modelling and Simulating Systems Security Policy. EAI Endorsed Trans Sec Saf 2015, 3, e3.