Jaime A. Pavlich-Mariscal, Laurent Michel, Steven A. Demurjian. A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming. In Lionel C. Briand, Clay Williams, editors, Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings. Volume 3713 of Lecture Notes in Computer Science, pages 537-552, Springer, 2005. [doi]