| 前言 引言 1 范围 2 规范性引用文件 3 术语、定义和缩略语 4 概述 4.1本部分的结构 5 GB／T.l8336保证范型 5.1 GB／T.l8336基本原则 5.2 保证方法 5.3 GB／T.l8376评估保证尺度 6 安全保证要求 6.1 结构 6.2 组件分类法 6.3 保护轮廓和安全目标评估准则类结构 6.4 本部分中术语的用法 6.5 保证分类 6.6 保证类和族概况 7 保护轮廓与安全目标评估准则 7.1 概述 7.2 保护轮廓准则概述 7.3 安全目标准则概述 8 APE类：保护轮廓砰估 8.1 TOE描述（APE-DES） 8.2 安全环境（APE-ENV） 8.3 PP引言（A11E-INT） 8.4 安全目的（APE-OBJ） 8.5 IT安全要求（APE-REQ） 8.8 明确陈述的IT安全要求（APE-SRE） 9 ASE粪：安全同标评估 9.l TOE描述（ASE-DES） 9.2 安全环境（ASE-ENV） 9.3 ST引言（ASE-INT） 9.4 安全目的（ASE-OBJ） 9.5 PP声明（ASE-PPC） 9.6 IT安全要求（ASE-REQ） 9.7 明确陈述的1T安全要求（ASE-SRE） 9.8 TOE概要规范（ASE－TSS） 10 评估保证级 10.1 评估保证级（EAL）概述 10.2 评估保证级细节 10.3 评估保证级1（EAL1）——功能测试 10.4 评估保证级2（EAL2）——结构测试 10.5 评估保证级3（EAL3）——系统地测试和检查 10.6 评估保证级4（EAL4）——系统地设计、测试和复查 10.7 评估保证级5（EAL5）——半形式化设计和测试 10.8 评估保证级6（EAL6）——半形式化验证的设计和测试 10.9 评估保证级7（EAL7）——形式化验证的设计和测试 11 保证类、族和组件 12 ACM类：配置管理 12.1 CM自动化（ACM－AUT） 12.2 CM能力（ACM－CAP） 12.3 CM范围（ACM－SCP） 13 ADO类：交付和运行 13.1 交付（ADO－DEL） 13.2 安装、生成和启动（ADO—IGS） 14 ADV类：开发 14.1 功能规范（ADV－FSP） 14.2 高层设计（ADV－HLD） 14.3 实现表示（ADV－IMP） 14.4 TSF内部（ADV－INT） 14.5 低层设计（ADV－LLD） 14.6 表示对应性（ADV－RCR） 14.7 安全策略模型（ADV－SPM） 15 AGD类：指导性文档 15.1 管理员指南（AGD－ADM） 15.2 用户指南（AGD－USR） 16 ALC类：生命周期支持 16.1 开发安全（ALC－DVS） 16.2 缺陷纠正（ALC－FLR） 16.3 生命周期定义（ALC-LCD） 16.4 工具和技术（ALC-TAT） 17 ATE类：测试 17.1 测试覆盖（ATE－COV） 17.2 测试深度（ATE－DPT） 17.3 功能测试（ATE－FUN） 17.4 独立测试（ATE－IND） 18 AVA类：脆弱性评定 …… 附录A（资料性附录） 保证组件依赖关系的交叉引用 附录B（资料性附录） EAL和保证组件的交叉引用 |
内容加载中，请稍后...
商品评论（0条）