FPT_SEP.2 SFP domain separation
Hierarchical to: FPT_SEP.1 TSF domain separation
FPT_SEP.2.1 The unisolated portion of the TSF shall maintain a security domain for its own execution that protects it from interference and tampering by untrusted subjects.
FPT_SEP.2.2 The TSF shall enforce separation between the security domains of subjects in the TSC.
FPT_SEP.2.3 The TSF shall maintain the part of the TSF related to [assignment: list of access control and/or information flow control SFPs] in a security domain for their own execution that protects them from interference and tampering by the remainder of the TSF and by subjects untrusted with respect to those SFPs.
Dependencies: No dependencies.