Class Fta: Toe Access; Class Ftp: Trusted Path/Channels - Samsung X4220 Instruction Manual

Samsung Multifunction MultiXpress X4220, X4250, X4300, X401, K4250, K4300, K4350, K401 Series
FPT_TST.1.1 The TSF shall run a suite of self tests during initial start-up to demonstrate the correct
operation of [HDD Encryption Function].
FPT_TST.1.2 The TSF shall provide authorized users with the capability to verify the integrity of
[Encryption Key data].
FPT_TST.1.3 The TSF shall provide authorized users with the capability to verify the integrity of
[stored TSF executable code]..

6.1.7 Class FTA: TOE access

6.1.7.1 FTA_SSL.3 TSF-initiated termination
Hierarchical to: No other components.
Dependencies: No dependencies.
FTA_SSL.3.1 The TSF shall terminate an interactive session after a [3 minutes of
U.ADMINISTRATOR and U.NORMAL inactivity].

6.1.8 Class FTP: Trusted path/channels

6.1.8.1 FTP_ITC.1 Inter-TSF trusted channel
Hierarchical to: No other components.
Dependencies: No dependencies.
FTP_ITC.1.1 The TSF shall provide a communication channel between itself and another trusted IT
product that is logically distinct from other communication channels and provides assured
identification of its end points and protection of the communicated data from modification or
disclosure.
FTP_ITC.1.2 The TSF shall permit the TSF, another trusted IT product to initiate communication
via the trusted channel.
65

Copyright 2014 SAMSUNG ELECTRONICS Co., Ltd., All rights reserved