Skip to content
SynAc
Terms
Acronyms
Tags
Sources
About
Search
Commands
⌘K
Senses
formal model · SynAc
TERM
formal model
A security model that is formal. Example: Bell-LaPadula model. [Land] (See: formal, security model.)
Updated
Jan 06, 2026
Senses
(I)
▾
A security model that is formal. Example: Bell LaPadula model. [Land] (See: formal, security model.)
A security model that is formal. Example: Bell-LaPadula model. [Land] (See: formal, security model.)
IETF RFC 4949 (Internet Security Glossary)
IETF RFC 4949 (Internet Security Glossary)
RFC 4949 — Internet Security Glossary (Version 2)
Accessed Jan 06, 2026
Quoted
https://www.rfc-editor.org/rfc/rfc4949.txt
RFC 4949 is published by the IETF Trust and marked as "Distribution of this memo is unlimited". Verify IETF Trust copyright/licensing terms for reuse.
Source: IETF RFC 4949 (rfc-editor.org).
Bibliography
IETF RFC 4949 (Internet Security Glossary)
Accessed Jan 06, 2026
Quoted
RFC 4949 — Internet Security Glossary (Version 2)
https://www.rfc-editor.org/rfc/rfc4949.txt
RFC 4949 is published by the IETF Trust and marked as "Distribution of this memo is unlimited". Verify IETF Trust copyright/licensing terms for reuse.
Source: IETF RFC 4949 (rfc-editor.org).