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

摘要：

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

关键词：信息安全、CC、安全功能要求

所属期刊栏目：24

分类号：TP393(计算技术、计算机技术)

资助基金：科技部科技兴贸行动计划2001-EE-66-0008

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：164-169