首页> 中文会议>2010国际信息技术与应用论坛 >认证测试方法在安全协议形式化分析中的应用研究

认证测试方法在安全协议形式化分析中的应用研究

页面导航

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

摘要

对认证测试方法在安全协议形式化分析中的应用进行了深入研究,应用认证测试方法对Needham-Schroeder协议进行了分析,指出Needharm-Schroeder协议存在中间人攻击和类型错误攻击,对Needham-Schroeder协议进行了改进并采用认证测试方法证实了改进的协议可以满足协议的安全目标。

著录项

来源
《2010国际信息技术与应用论坛》|2010年|48-50|共3页
会议地点昆明
作者
李廷元; 宋劲; 郑涛; 袁小珂; 张建学;
展开▼
作者单位

国际信息技术应用协会;

西南财经大学;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类通信规程、通信协议;
关键词
认证测试方法; 安全协议; 形式化分析; 中间人攻击;

相似文献

中文文献
外文文献
专利

1. Needham-Schroeder协议的认证测试方法形式化分析 [J] . 李廷元 ,秦志光 ,刘晓东 . 计算机工程与应用 . 2010,第019期
2. 认证测试方法在安全协议分析中的应用 [J] . 李谢华 ,李建华 ,杨树堂 . 计算机工程 . 2006,第002期
3. 基于形式化分析工具的认证协议安全性研究 [J] . 段然 ,徐乃阳 ,胡爱群 . 信息网络安全 . 2015,第007期
4. 802.11i认证协议可验安全性形式化分析 [J] . 宋宇波 ,胡爱群 ,姚冰心 . 中国工程科学 . 2010,第001期
5. 一种新的形式化模型对安全认证协议的分析 [J] . 胡晓辉 ,曾雪娜 ,姜浩 . 计算机应用研究 . 2010,第012期
6. 网络安全认证协议形式化分析 [C] . 肖美华 ,邓宸芳 ,马小薏 . 第20次全国计算机安全学术交流会 . 2005
7. 认证测试方法在安全协议形式化分析中的应用研究 [A] . 王鹏 . 2007

认证测试方法在安全协议形式化分析中的应用研究

摘要

著录项

相似文献

相关主题

期刊订阅