信息安教材资料全管理.pptVIP

安全可信度级别 级别 定义 可信度级别描述 EALl 职能式测试级 表示信息保护问题得到了适当的处理； EAL2 结构式测试级 表示评价时需要得到开发人员的配合，该级提供低中级的独立安全保证； EAL3 基于方法学的测试与检查级 要求在设计阶段实施积极的安全工程思想，提供中级的独立安全保证。 EAL4 基于方法学的设计、测试与审查级 要求按照商业化开发惯例实施安全工程思想，提供中高级的独立安全保证。 EAL5 半形式化的设计与测试级 要求按照严格的商业化开发惯例，应用专业安全工程技术及思想，提供高等级的独立安全保证。 EAL6 半形式化验证的设计与测试级 通过在严格的开发环境中应用安全工程技术来获取高的安全保证，使产品能在高度危险的环境中使用。 EAL7 形式化验证的设计与测试级 目标是使产品能在极端危险的环境中使用。目前只限于可进行形式化分析的安全产品。 安全产品的开发 CC标准体现了软件工程与安全工程相结合思想。 信息安全产品必须按照软件工程和安全工程的方法进行开发才能较好地获得预期的安全可信度。 安全产品从需求分析到产品的最终实现，整个开发过程可依次分为应用环境分析、明确产品安全环境、确立安全目标、形成产品安全需求、安全产品概要设计、安全产品实现等几个阶段。 各个阶段顺序进行，前一个阶段的工作结果是后一个阶段的工作基础。有时前面阶段的工作也需要根据后面阶段工作的反馈内容