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

The formal analysis of CC security functional components

作　　者：黄元飞[1] 何德全[2] 陈明奇[1] 

机构地区：[1]国家计算机网络与信息安全管理中心,北京100031 [2]中国工程院,北京100044

出　　处：《通信学报》2003年第7期164-169,共6页Journal on Communications

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

摘　　要：先提出了一种CC(common criteria)安全功能组件的形式化分析方法,对CC中的135个组件分别作形式化分析,评估各组件规范安全功能要求的确定性,并在此基础上进一步分析安全功能类的标准化规范程度及其优缺点。This document contain a formal analysis of the CC security functional components to evaluate the 搒pecialization level?of the components and a few interpretations derived from the results of the analysis.

关 键 词：CC 安全功能组件 安全功能要求 信息安全 形式化分析 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]