Automated Access Control Policy Testing System (A-ACPTS)

This Automated Access Control Policy Testing System (A-ACPTS) project extends and transitions NIST’s Access Control Policy Tool (ACPT) toward commercialization. The core challenge is to research and develop an ACPT-based tool and a method of automating as many of the inputs into the model checking as possible, with the goal of making the testing more usable, less error-prone, and more efficient. A-ACPTS will enable the specification of properties and policies at a generic, “undistorted” level of abstraction, and by feeding existing information sources into the tool with a high degree of automated and semantic consistency, so that the policy testing can be fast, easy, and correct.