Computer Security Resource Center

Computer Security Resource Center

Computer Security
Resource Center

Conference Proceedings

General Methods for Access Control Policy Verification

Published: July 30, 2016

Author(s)

Vincent Hu (NIST), Richard Kuhn (NIST)

Conference

Name: IEEE 17th International Conference on Information Reuse and Integration (IEEE IRI2016)
Dates: July 28-30, 2016
Location: Pittsburgh, Pennsylvania, United States
Citation: Proceedings. 2016 IEEE 17th International Conference on Information Reuse and Integration (IRI 2016), pp. 315-323

Abstract

Keywords

access control; authorization; model checking; policy; policy verification; policy testing; policy tool
Control Families

Access Control;

Documentation

Publication:
Conference Proceedings (DOI)

Supplemental Material:
Preprint (pdf)

Topics

Security and Privacy
access control; modeling