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

• 作者: 何德全 陈明奇 黄元飞
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 信息安全 CC 安全功能要求
• 年，卷（期）: 2003,（7）
• 所属期刊栏目: 学术通信
• 页码范围: 164-169
• 页数: 6页
• 分类号: TP393
• 字数: 2800字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2003.07.024

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈明奇		12	396	4.0	12.0
2	黄元飞		13	105	6.0	9.0
3	何德全		4	17	3.0	4.0