Specification and Analysis of Dynamic Authorisation Policies | IEEE Conference Publication | IEEE Xplore