Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose. From Formal Access Control Policies to Runtime Enforcement Aspects. In Fabio Massacci, Samuel T. Redwine Jr., Nicola Zannone, editors, Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings. Volume 5429 of Lecture Notes in Computer Science, pages 16-31, Springer, 2009. [doi]
Abstract is missing.