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.

NIST IR 8539

Security Property Verification by Transition Model

Date Published: January 2025

Author(s)

Vincent Hu (NIST)

Abstract

Keywords

access control; access control policy; model test; policy test; policy verification
Control Families

None selected

Documentation

Publication:
https://doi.org/10.6028/NIST.IR.8539
Download URL

Supplemental Material:
None available

Document History:
10/08/24: IR 8539 (Draft)
01/31/25: IR 8539 (Final)

Topics

Security and Privacy

access control, modeling, testing & validation