Miguel Angel García de Dios, Carolina Dania, Manuel Clavel. Formal Reasoning about Fine-Grained Access Control Policies. In Motoshi Saeki, Henning Köhler, editors, 11th Asia-Pacific Conference on Conceptual Modelling, APCCM 2015, Sydney, Australia, January 2015. Volume 165 of CRPIT, pages 91-100, Australian Computer Society, 2015. [doi]