Assertion: security kernel | /r/HasProperty | a reference monitor
Facets:
value: in a tcb implementation
type: OTHER
Source sentences:
text: In a TCB implementation, the security kernel in an operating system is also referred to as a reference monitor.