Defined term
Formal Policy Model
Formal Policy Model: A description of specific behaviors or security policies using formal languages, thus enabling the correctness of those…
📋 Single Source
Legal & Policy
Definition
A description of specific behaviors or security policies using formal languages, thus enabling the correctness of those behaviors/policies to be formally proven.
Sources
1
Committee on National Security Systems Glossary CNSSI 4009-2015
View Source