Manuel Koch, Francesco Parisi-Presicce. Formal access control analysis in the software development process. In Michael Backes, David A. Basin, editors, Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003. pages 67-76, ACM, 2003. [doi]