首页> 中文期刊> 《通信学报》 >CC安全功能组件形式化分析

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《通信学报》 |2003年第7期|164-169|共6页
作者
黄元飞; 何德全; 陈明奇;
展开▼
作者单位

国家计算机网络与信息安全管理中心,北京,100031;

中国工程院,北京,100044;

国家计算机网络与信息安全管理中心,北京,100031;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
信息安全; CC; 安全功能要求;

相似文献

中文文献
外文文献
专利

1. 基于CC的防火墙安全功能分析 [J] . 梁思 ,刘嘉勇 ,胡勇 . 成都信息工程学院学报 . 2006,第004期
2. CC-Link Safety安全功能实现浅释 [J] . 吴勤 ,覃强 . 自动化博览 . 2007,第002期
3. 基于SMT的时钟约束语言CCSL的形式化分析方法与工具 [J] . 应云辉 ,张民 . 软件学报 . 2018,第006期
4. CCITT X.509协议的形式化分析及其改进 [J] . 解颜铭 ,石曙东 ,翁艳琴 . 计算机安全 . 2012,第006期
5. 基于CCS的信号量形式化建模与验证 [J] . 祁方民 ,鱼滨 ,牟力科 . 计算机应用与软件 . 2011,第008期
6. CC安全功能要求和FIPS140-2的剖析 [C] . 洪泽勤 ,贾晓英 ,白雪 . 中国计算机学会信息保密专业委员会学术年会 . 2002
7. 基于SOFL形式化语言的软件组件的设计与实现 [A] . 梁冰 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号