David J. Power, Mark Slaymaker, Andrew C. Simpson. On the Construction and Verification of Self-modifying Access Control Policies. In Willem Jonker, Milan Petkovic, editors, Secure Data Management, 6th VLDB Workshop, SDM 2009, Lyon, France, August 28, 2009. Proceedings. Volume 5776 of Lecture Notes in Computer Science, pages 107-121, Springer, 2009. [doi]
Abstract is missing.