Ecurity, Unctional, Equirements on the – Nortel Networks Nortel Network VPN Router and Client Workstation 7.05 User Manual
Page 39: Nvironment, Able, Equirements, Fpt_rvm.1 non-bypassability of the tsp, Fpt_sep.1 tsf domain separation, Fpt_stm.1 reliable time stamps
Security Target, Version 3.9
March 18, 2008
Nortel VPN Router v7.05 and Client Workstation v7.11
Page 39 of 67
© 2008 Nortel Networks
5.2 Security Functional Requirements on the IT Environment
The TOE has the following security requirement for its IT environment. Table 5 identifies all SFRs implemented by
the IT Environment and indicates the ST operations performed on each requirement.
Table 5 - IT Environment Security Functional Requirements
SFR ID
Description
ST Operation
Se
le
c
tio
n
Ass
ig
nm
e
nt
Refi
ne
m
e
nt
Ite
rati
on
FPT_RVM.1
Non-bypassability of the TSP
FPT_SEP.1
TSF domain separation
FPT_STM.1
Reliable time stamps
FPT_RVM.1 Non-bypassability of the TSP
Hierarchical to: No other components.
FPT_RVM.1.1
The TSF IT Environment shall ensure that TSP enforcement functions are invoked and succeed before
each function within the TSC is allowed to proceed.
Dependencies: No dependencies
FPT_SEP.1 TSF domain separation
Hierarchical to: No other components.
FPT_SEP.1.1
The TSF IT Environment shall maintain a security domain for its own the TOE’s execution that protects
it the TOE from interference and tampering by untrusted subjects.
FPT_SEP.1.2
The TSF shall enforce separation between the security domains of subjects in the TSC.
Dependencies: No dependencies
FPT_STM.1 Reliable time stamps
Hierarchical to: No other components.
FPT_STM.1.1