A description of specific behaviors or security policies using formal languages, thus enabling the correctness of those behaviors/policies to be formally proven. Source(s): CNSSI 4009-2015
NIST SP 800-53 Rev. 4 - Adapted
Comments about specific definitions should be sent to the authors of the linked Source publication. For NIST publications, an email is usually found within the document.
Comments about the glossary's presentation and functionality should be sent to firstname.lastname@example.org.