formal policy model

A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

Definitions:

A description of specific behaviors or security policies using formal languages, thus enabling the correctness of those behaviors/policies to be formally proven.
Sources:
CNSSI 4009-2022 from NIST SP 800-53 Rev. 5 - adapted from SA-17(1)

About

See the identified Source document to understand each term-definition pair in its proper context.

Send inquiries about terminology to the Source's authors; NIST publications will usually include a contact email for that Source.

For other inquiries, such as comments about the Glossary's presentation and functionality, use this link.

See the Glossary homepage for more guidance.