beautypg.com

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

background image

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

This manual is related to the following products: