首页> 中文期刊> 《上海交通大学学报》 >基于认证测试的通用安全协议设计方法

基于认证测试的通用安全协议设计方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

以认证测试方法为基础,提出了一种通用的安全协议形式化设计方法,使用该方法对Needham-Schroeder(NS)公钥协议进行了重新设计.最后通过认证测试方法证明了重新设计的NS协议能够满足安全协议的保密性、身份认证和数据认证的要求,并且有效避免了原NS协议存在的中间人攻击问题.

著录项

来源
《上海交通大学学报》 |2006年第3期|524-527|共4页
作者
李谢华; 李建华; 杨树堂;
展开▼
作者单位

上海交通大学电子工程系;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
安全协议; 认证测试; Needham-Schroeder公钥协议;

相似文献

中文文献
外文文献
专利

1. 基于认证测试的一种安全协议一致性分析方法 [J] . 周清雷 ,王峰 ,赵东明 . 计算机科学 . 2007,第010期
2. 一种基于融合网络通用可组合安全的漫游认证协议 [J] . 李亚晖 ,马建峰 . 计算机科学 . 2010,第001期
3. 协议认证性安全属性测试方法 [J] . 何云华 ,杨超 ,张俊伟 . 电子学报 . 2016,第011期
4. 一种改进的安全协议认证测试分析方法 [J] . 熊玲 ,彭代渊 . 通信技术 . 2014,第008期
5. 认证测试方法在安全协议分析中的应用 [J] . 李谢华 ,李建华 ,杨树堂 . 计算机工程 . 2006,第002期
6. 认证测试方法在安全协议形式化分析中的应用研究 [C] . 李廷元 ,宋劲 ,郑涛 . 2010国际信息技术与应用论坛 . 2010
7. 基于认证性测试的安全协议分析方法研究与扩展 [A] . 代凯 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号