Marina Egea, Fabian Büttner. Verification of Authorization Policies Modified by Delegation. In Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli, editors, Engineering Secure Future Internet Services and Systems - Current Research. Volume 8431 of Lecture Notes in Computer Science, pages 287-314, Springer, 2014. [doi]
Abstract is missing.