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

Christopher Bailey, Lionel Montrieux, Rogrio de Lemos, Yijun Yu, Michel Wermelinger

Browse the full ICSE paper archive.