首页> 中文期刊> 《软件学报》 >安全协议的设计与逻辑分析

安全协议的设计与逻辑分析

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

随着网络应用的迅速发展,网络安全的问题日益重要.研究下述课题:安全协议的设计原则;安全协议设计中形式化方法的应用;各种形式化分析方法,特别是逻辑分析方法的特点.另外,还探讨了串空间模型在逻辑分析中的应用以及串空间模型指导安全协议形式化设计的可能性.

著录项

来源
《软件学报》 |2003年第7期|1300-1309|共10页
作者
卿斯汉;
展开▼
作者单位

中国科学院;

软件研究所;

信息安全国家重点实验室;

北京;

100080;

中国科学院;

信息安全技术工程研究中心;

北京;

100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
安全协议; 设计; 逻辑分析; BAN类逻辑; 串空间;

相似文献

中文文献
外文文献
专利

1. 数字电路设计好帮手嵌入式系统开发利器——LA系列逻辑分析仪=逻辑分析仪＋总线分析仪＋协议分析仪＋频率计＋逻辑笔 [J] . . 电子技术应用 . 2006,第3期
2. 满足多种安全属性的复合型支付协议及其逻辑分析 [J] . 陈莉 ,袁开银 . 计算机应用研究 . 2012,第007期
3. 基于口令认证的RFID系统安全协议及其BAN逻辑分析 [J] . 蔡庆玲 ,詹宜巨 . 电信科学 . 2008,第012期
4. 移动型RFID安全协议及其GNY逻辑分析 [J] . 王新锋 ,刘建国 ,蒋旭 . 计算机应用 . 2008,第009期
5. 安全通信协议的逻辑分析 [J] . 史永良 . 电信科学 . 2007,第007期
6. 应用Rubin逻辑分析Andrew安全RPC协议 [C] . 徐洋 ,谢晓尧 . 2010年第四届中国可信计算与信息安全学术会议 . 2010
7. 扩展基于本地会话的安全协议验证逻辑分析TLS协议 [A] . 陈元辰 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号