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]

Authors

Christopher Bailey

This author has not been identified. Look up 'Christopher Bailey' in Google

Lionel Montrieux

This author has not been identified. Look up 'Lionel Montrieux' in Google

Rogério de Lemos

This author has not been identified. Look up 'Rogério de Lemos' in Google

Yijun Yu

This author has not been identified. Look up 'Yijun Yu' in Google

Michel Wermelinger

This author has not been identified. It may be one of the following persons: Look up 'Michel Wermelinger' in Google