Specifications

Samsung MFP Security Kit Type_B V1.5 Security Target



Class Security Functional components

Action (2)

FIA_UAU.7

Protected Authentication Feedback

FIA_UID.2

User identification before any action

Security Management

FMT_MOF.1

Management of Security Functions

Behavior

FMT_MTD.1

Management of TSF data

FMT_SMF.1

Specification of Management

Functions

FMT_SMR.1

Security roles

TSF Protection

FPT_RCV.4

Function recovery

5.1.1 Class FAU: Security Audit

5.1.1.1 FAU_GEN.1 Audit data generation

Hierarchical to: No other components.

Dependencies: FPT_STM.1 Reliable time stamps

FAU_GEN.1.1 The TSF shall be able to generate an audit record

of the following auditable events:

a) Start-up and shutdown of the audit functions;

b) All auditable events for the not specified

level of audit; and

c) [The events specified in Table 10 below].

FAU_GEN.1.2 The TSF shall record within each audit record at

least the following information:

a) Date and time of the event, type of event, subject identity (if

applicable), and the outcome (success or failure) of the event; and

For each audit event type, based on the

auditable event definitions of the functional

components included in the PP/ST, [No audit

action].