ACPT: A Tool for Modeling and Verifying Access Control Policies | IEEE Conference Publication | IEEE Xplore