Run-time generation, transformation, and verification of access control models for self-protection

Christopher Bailey, Lionel Montrieux, Rogério de Lemos, Yijun Yu, Michel Wermelinger. Run-time generation, transformation, and verification of access control models for self-protection. In Gregor Engels, Nelly Bencomo, editors, 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, Proceedings, Hyderabad, India, June 2-3, 2014. pages 135-144, ACM, 2014. [doi]

Abstract

Abstract is missing.