A distributed calculus for role-based access control | IEEE Conference Publication | IEEE Xplore