Deriving Current State RBAC Models from Event Logs | IEEE Conference Publication | IEEE Xplore