Q is target and R is implementation
Let Q be the set of secure states specified by security policy and R be the set of states restricted by security mechanism.
R typically larger than R
Security State
Creator
Creator
Seonglae ChoCreated
Created
2024 Mar 15 4:41Editor
Editor
Seonglae ChoEdited
Edited
2024 Mar 15 4:45Refs
Refs