Helge Janicke Antonio Cau François Siewe Hussein Zedan Dynamic Access Control Policies: Specification and Verification. 440-463 2013 56 Comput. J. 4 https://doi.org/10.1093/comjnl/bxs102 db/journals/cj/cj56.html#JanickeCSZ13
