U.S. flag   An unofficial archive of your favorite United States government website
Dot gov

Official websites do not use .rip
We are an unofficial archive, replace .rip by .gov in the URL to access the official website. Access our document index here.

Https

We are building a provable archive!
A lock (Dot gov) or https:// don't prove our archive is authentic, only that you securely accessed it. Note that we are working to fix that :)

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