Khaled Alghathbar, Duminda Wijesekera. authUML: a three-phased framework to analyze access control specifications in use cases. 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 77-86, ACM, 2003. [doi]
Abstract is missing.