Title :
A policy validation framework for enterprise authorization specification
Author :
Chandramouli, Ramaswamy
Author_Institution :
Nat. Inst. of Stand. & Technol., Gaithersburg, MD, USA
Abstract :
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing access control mechanism does not provide this feature. We describe one such framework. The framework uses XML to encode the enterprise authorization specification, XML schema to specify the underlying access control model (which in our case is the role-based access control model (RBAC)) and Schematron language to encode the policy constraints. The conformance of the XML-encoded enterprise authorization specification to the structure of the RBAC model (specified through XML schema) as well as the policy constraints (specified through Schematron) are verified through a Schematron validator tool.
Keywords :
XML; authorisation; formal specification; specification languages; RBAC model; Schematron language; XML schema; enterprise authorization specification; enterprise security policies; policy validation tool; role-based access control; Access control; Authorization; Control systems; NIST; National security; Operating systems; Permission; Safety; Software systems; XML;
Conference_Titel :
Computer Security Applications Conference, 2003. Proceedings. 19th Annual
Print_ISBN :
0-7695-2041-3
DOI :
10.1109/CSAC.2003.1254336