Wuliang Sun, Robert B. France, Indrakshi Ray. Rigorous Analysis of UML Access Control Policy Models. In POLICY 2011, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011. pages 9-16, IEEE Computer Society, 2011. [doi]
Abstract is missing.