Mirco Kuhlmann, Karsten Sohr, Martin Gogolla. Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL. In Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea. pages 108-117, IEEE, 2011. [doi]
Abstract is missing.