Conformance checking of dynamic access control policies - Power, D; Slaymaker, M; Simpson, A (Springer, 2011)