前言 Ⅴ
引言 Ⅶ
1 范围 1
2 规范性引用文件 1
3 术语和定义 1
4 概述 1
4.1 本部分的结构 1
5 保障范型 2
5.1 ISO/IEC15408的基本原则 2
5.2 保障方法 2
5.3 ISO/IEC15408评估保障尺度 3
6 安全保障组件 3
6.1 安全保障类、族和组件结构 3
6.2 评估保障级结构 7
6.3 组合保障包结构 8
7 评估保障级 10
7.1 评估保障级(EAL)概述 11
7.2 评估保障级细节 12
7.3 评估保障级1(EAL1)———功能测试 12
7.4 评估保障级2(EAL2)———结构测试 13
7.5 评估保障级3(EAL3)———系统地测试和检查 14
7.6 评估保障级4(EAL4)———系统地设计、测试和复查 15
7.7 评估保障级5(EAL5)———半形式化设计和测试 17
7.8 评估保障级6(EAL6)———半形式化验证的设计和测试 18
7.9 评估保障级7(EAL7)———形式化验证的设计和测试 19
8 组合保障包 21
8.1 组合保障包(CAP)概述 21
8.2 组合保障包细节 22
8.3 组合保障级A(CAP-A)—结构组合 22
8.4 组合保障级别B(CAP-B)—系统组合 23
8.5 组合保障级C(CAP-C)—系统组合、测试和复查 24
9 APE类:保护轮廓评估 25
9.1 PP引言(APE_INT) 26
9.2 符合性声明(APE_CCL) 26
9.3 安全问题定义(APE_SPD) 28
9.4 安全目的(APE_OBJ) 29
9.5 扩展组件定义(APE_ECD) 30
9.6 安全要求(APE_REQ) 31
10 ASE类:安全目标评估 33
10.1 ST引言(ASE_INT) 34
10.2 符合性声明(ASE_CCL) 35
10.3 安全问题定义(ASE_SPD) 36
10.4 安全目的(ASE_OBJ) 37
10.5 扩展组件定义(ASE_ECD) 38
10.6 安全要求(ASE_REQ) 39
10.7 TOE概要规范(ASE_TSS) 41
11 ADV 类:开发 43
11.1 安全架构(ADV_ARC) 46
11.2 功能规范(ADV_FSP) 48
11.3 实现表示(ADV_IMP) 56
11.4 TSF内部(ADV_INT) 58
11.5 安全策略模型(ADV_SPM) 61
11.6 TOE设计(ADV_TDS) 63
12 AGD类:指导性文档 71
12.1 操作用户指南(AGD_OPE) 71
12.2 准备程序(AGD_PRE) 73
13 ALC类:生命周期支持 74
13.1 CM 能力(ALC_CMC) 75
13.2 CM 范围(ALC_CMS) 82
13.3 交付(ALC_DEL) 86
13.4 开发安全(ALC_DVS) 87
13.5 缺陷纠正(ALC_FLR) 89
13.6 生命周期定义(ALC_LCD) 92
13.7 工具和技术(ALC_TAT) 94
14 ATE类:测试 97
14.1 覆盖(ATE_COV) 98
14.2 深度(ATE_DPT) 100
14.3 功能测试(ATE_FUN) 103
14.4 独立测试(ATE_IND) 105
15 AVA 类:脆弱性评定 108
15.1 应用注释 108
15.2 脆弱性分析(AVA_VAN) 109
16 ACO 类:组合 113
16.1 组合基本原理(ACO_COR) 116
16.2 开发证据(ACO_DEV) 116
16.3 依赖部件的依赖性(ACO_REL) 119
16.4 组合TOE测试(ACO_CTT) 121
16.5 组合脆弱性分析(ACO_VUL) 123
附录A (资料性附录) 开发(ADV) 127
附录B(资料性附录) 组合(ACO) 140
附录C (资料性附录) 保障组件依赖关系的交叉引用 145
附录D (资料性附录) PP和保障组件的交叉引用 150
附录E (资料性附录) EAL和保障组件的交叉引用 151
附录F(资料性附录) CAP和保障组件的交叉引用 152
