RBAC Reasoning consists of a joint project between the InfoSec research group of the University of Macedonia and the Computer Security Division of the National Institute of Standards and Technology (NIST). Our current research in ACPT includes, but not limited, the integration of RBAC reasoning (core RBAC and Hierarchical RBAC) in ACPT.

InfoSec’s ACPT Team
  Ioannis Mavridis, Associate Professor
  Antonios Gouglidis, PhD
  Ivi Dylgjeri, Undergraduate Student

Collaborators
  Dr. Vincent Hu, NIST, Computer Security Division.

Publications
  Security policy verification for multi-domains in cloud systems
  Verification of Secure Inter-operation Properties in Multi-domain RBAC Systems

References
  Access Control Policy Tool (ACPT)