Khaled Alghathbar Duminda Wijesekera authUML: a three-phased framework to analyze access control specifications in use cases. 77-86 2003 conf/ccs/2003fmse FMSE http://doi.acm.org/10.1145/1035429.1035438 db/conf/ccs/ccs2003fmse.html#AlghathbarW03