Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Conference Paper

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: 07/28/2016 - 07/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:
https://doi.org/10.1109/IRI.2016.49

Supplemental Material:
Preprint (pdf)

Document History:
07/30/16: Conference Paper (Final)

Topics

Security and Privacy

access control, modeling