Раздел: Документация
0 ... 32 33 34 35 36 37 38 ... 117 FMTMSA.3 Static attribute initialisation Hierarchical to: No other components. FMTMSA.3.1 The TSF shall enforce the [assignment: access control SFP, information flow control SFP] to provide [selection: restrictive, permissive, other property] default values for security attributes that are used to enforce the SFP. FMTMSA.3.2 The TSF shall allow the [assignment: the authorised identified roles] to specify alternative initial values to override the default values when an object or information is created. Dependencies: FMTMSA.1 Management of security attributes FMTSMR.1 Security roles 8.3 Management of TSF data (FMT MTD) Family behaviour This family allows authorised users (roles) control over the management of TSF data. Examples of TSF data include audit information, clock, system configuration and other TSF configuration parameters. Component levelling FMT MTD Management of TSF data FMTMTD.1 Management of TSF data allows authorised users to manage TSF data. FMTMTD.2 Management of limits on TSF data specifies the action to be taken if limits on TSF data are reached or exceeded. FMTMTD.3 Secure TSF data ensures that values assigned to TSF data are valid with respect to the secure state. Management: FMTMTD.1 The following actions could be considered for the management functions in FMT Management: a) managing the group of roles that can interact with the TSF data. Management: FMTMTD.2 The following actions could be considered for the management functions in FMT Management: a) managing the group of roles that can interact with the limits on the TSF data. Management: FMTMTD.3 There are no additional management activities foreseen for this component. Audit: FMTMTD.1 The following actions should be auditable if FAUGEN Security audit data generation is included in the PP / ST: a) Basic: All modifications to the values of TSF data. Audit: FMTMTD.2 The following actions should be auditable if FAUGEN Security audit data generation is included in the PP / ST: a)Basic: All modifications to the limits on TSF data; b)Basic: All modifications in the actions to be taken in case of violation of the limits. Audit: FMT MTD.3 The following actions should be auditable if FAUGEN Security audit data generation is included in the PP / ST: a) Minimal: All rejected values of TSF data. FMTMTD.1 Management of TSF data Hierarchical to: No other components. FMTMTD.1.1 The TSF shall restrict the ability to [selection: changedefault, query, modify, delete, clear, [assignment: other operations]] the [assignment: list of TSF data] to [assignment: the authorised identified roles]. Dependencies: FMTSMR.1 Security roles FMTMTD.2 Management of limits on TSF data Hierarchical to: No other components. FMTMTD.2.1 The TSF shall restrict the specification of the limits for [assignment: list of TSF data] to [assignment: the authorised identified roles]. FMTMTD.2.2 The TSF shall take the following actions, if the TSF data are at, or exceed, the indicated limits: [assignment: actions to be taken]. Dependencies: FMTMTD.1 Management of TSF data FMTSMR.1 Security roles FMTMTD.3 Secure TSF data Hierarchical to: No other components. FMT MTD.3.1 The TSF shall ensure that only secure values are accepted for TSF data. Dependencies: ADVSPM.1 Informal TOE security policy model FMTMTD.1 Management of TSF data 0 ... 32 33 34 35 36 37 38 ... 117
|