OBJECTSECURITY LLC — Department of Commerce SBIR Phase I: 9.03.02.77-R

OBJECTSECURITY LLC — SBIR Phase I award from Department of Commerce.

Amount
$98,995
Agency
Department of Commerce · National Institute of Standards and Technology
Program / Phase
SBIR · Phase I
Topic
9.03.02.77-R
NAICS
Place of performance
CA
Period
2015-09-15 → 2016-03-15

Description

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.