基本信息

---

下载

文档摘要

---

CC第三部分安全保证要求CNITSEC刘作康*保证要求细分类CNITSEC刘作康*评估保证级（EAL）EAL1—功能测试EAL2—结构测试EAL3—系统地测试和检查EAL4—系统地设计、测试和复查EAL5—半形式化设计和测试EAL6—半形式化验证的设计和测试EAL7—形式化验证的设计和测试CNITSEC刘作康*EAL1—功能测试EAL1适用于安全的威胁并不严重的场合TOE的功能与其文档在形式上是一致的，并且对已标识的威胁提供了有效的保护。利用功能和接口的规范以及指导性文档，对安全功能进行分析，进行独立性测试保证组件：ACM_