CC安全功能组件形式化分析

作     者：黄元飞 何德全 陈明奇 HUANG Yuan-fei1, HE De-quan2, CHEN Ming-qi1 (1. National Computer Network and Information Security Administration Center, Beijing 100031, China;2. Chinese Academy of Engineering, Beijing 100044,China)

作者机构：国家计算机网络与信息安全管理中心北京100031 中国工程院北京100044 

出 版 物：《通信学报》 (Journal on Communications)

年 卷 期：2003年第24卷第7期

页      面：164-169页

核心收录：

学科分类：0839[工学-网络空间安全] 08[工学] 

基　　金：国家科技兴贸行动计划基金资助项目(2001-EE-66-0008) 

主　　题：CC 安全功能组件 安全功能要求 信息安全 形式化分析 

摘      要：先提出了一种CC(common criteria)安全功能组件的形式化分析方法,对CC中的135个组件分别作形式化分析,评估各组件规范安全功能要求的确定性,并在此基础上进一步分析安全功能类的标准化规范程度及其优缺点。