U.S. flag   An unofficial archive of your favorite United States government website
This is an archive
(replace .gov by .rip)

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)

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

Topics

Security and Privacy
access control; modeling