收藏本站
《2009年研究生学术交流会通信与信息技术论文集》2009年
收藏 | 手机打开
二维码
手机客户端打开本文

Yahalom协议的改进及安全性分析

杨晓婕  缪祥华  仇细平  
【摘要】:串空间是一种基于定理证明的,新兴的安全协议形式化分析模型。本文针对Yahalom协议的不足,对其进行改进,提出了一种新的Yahalom协议,本文基于串空间模型,运用"理想"和"诚实"作为工具,对改进的Yahalom协议的安全性进行了分析,结果证明了改进的Yahalom协议是安全的。最后通过比较了几种改进的Yahalom协议,说明了此改进是成功的。

手机知网App
【共引文献】
中国期刊全文数据库 前3条
1 王正才;杨世平;;抗重放攻击认证协议的设计原则和方法研究[J];计算机工程与设计;2008年20期
2 刘红;史清华;;基于用户隐私保护的EAP-AKA协议[J];计算机工程与设计;2009年12期
3 马成芬;张庆德;;时戳和随机数在保证消息实时性方面的应用[J];聊城大学学报(自然科学版);2008年01期
中国博士学位论文全文数据库 前3条
1 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
2 毛明毅;面向对象的广义空间逻辑运算模型与推理研究[D];西北工业大学;2006年
3 陶宏才;安全协议结构及其范式研究[D];西南交通大学;2007年
中国硕士学位论文全文数据库 前4条
1 杨琳琳;基于时序逻辑的安全协议验证方法的研究[D];南京航空航天大学;2010年
2 孙久鸿;安全电子交易SET协议的研究[D];大连交通大学;2007年
3 刘红;异构无线网络密钥协商和认证向量研究[D];山东大学;2009年
4 王正才;抗重放和类型缺陷攻击认证协议的设计与分析研究[D];贵州大学;2009年
【二级参考文献】
中国期刊全文数据库 前3条
1 王贵林,卿斯汉,周展飞;认证协议的一些新攻击方法[J];软件学报;2001年06期
2 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
3 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
【相似文献】
中国期刊全文数据库 前10条
1 陆超;周颢;陈波;赵保华;;基于串空间的Kao Chow加密协议形式化验证[J];中国科学技术大学学报;2007年12期
2 丁萌伟;周清雷;赵东明;;串空间和认证测试在协议分析中的应用[J];微计算机信息;2008年30期
3 邢育红;卜凡金;李大兴;;基于串空间模型的电子商务协议的形式化分析[J];计算机工程与应用;2006年03期
4 缪祥华;何大可;;分析和设计安全协议的新逻辑的语义[J];云南民族大学学报(自然科学版);2006年02期
5 周雅洁;关焕梅;陈萍;张晶伟;;安全协议的自动化设计[J];计算机工程;2007年20期
6 荣昆;李益发;;基于串空间的KryptoKnight协议分析及与逻辑化方法的比较[J];微计算机信息;2005年26期
7 缪祥华;张云生;仇细平;杨晓婕;;BAN逻辑与串空间的比较[J];云南民族大学学报(自然科学版);2008年01期
8 张慧;郑超美;;安全协议的形式化验证方法概述[J];计算机安全;2007年01期
9 姚全珠;张鹏;;基于数据包长度的网络隐蔽通道[J];计算机工程;2008年03期
10 陈道喜;陈冬火;张广泉;;NS密码协议的模型检测分析[J];苏州大学学报(工科版);2008年03期
中国重要会议论文全文数据库 前10条
1 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
2 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
3 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
4 王永滨;郭云飞;陆娜;;CADP与PIM-SM协议分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
5 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
6 许剑卓;戴英侠;左英男;;BAN逻辑成立的前提[A];第14届全国计算机安全学术交流会论文集[C];1999年
7 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
8 何涛;缪淮扣;钱忠胜;;基于π-演算的web服务流的分析与建模(英文)[A];全国语域web与本体能研讨会论文集[C];2006年
9 刘芳;魏昭;董荣胜;;基于SPIN的协议分析技术研究[A];广西计算机学会2008年年会论文集[C];2008年
10 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
中国重要报纸全文数据库 前1条
1 尹霞;我说的话 你能听懂吗?[N];计算机世界;2001年
中国博士学位论文全文数据库 前10条
1 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
2 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年
3 刘家芬;安全协议形式化分析中认证测试方法的研究[D];电子科技大学;2009年
4 张昭理;基于Petri网的安全策略分析与验证方法研究[D];华中科技大学;2007年
5 林怀清;P2P网络多维模糊信任模型研究[D];华中科技大学;2009年
6 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
7 王小兵;面向对象MSVL语言及其在组合Web服务验证中的应用[D];西安电子科技大学;2009年
8 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
9 赵华伟;两种安全协议形式化理论的研究[D];山东大学;2006年
10 汪学明;多方安全协议的形式化分析方法研究与应用[D];贵州大学;2008年
中国硕士学位论文全文数据库 前10条
1 赵自强;基于串空间模型的形式化方法的扩展与应用[D];成都理工大学;2011年
2 余磊;基于串空间模型的安全协议分析方法研究[D];淮北师范大学;2010年
3 王永宝;密码协议的代数模型和安全分析算法研究[D];北京邮电大学;2006年
4 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
5 彭珊珊;安全的电子投票方案及其匿名性的研究[D];上海交通大学;2008年
6 邓珍荣;基于串空间模型的协议验证技术研究[D];广西大学;2005年
7 黄瑛;SET协议支付过程分析及模型检测[D];贵州大学;2006年
8 袁建廷;鉴别协议的分析研究[D];西安电子科技大学;2008年
9 董军;安全协议形式化验证方法的研究[D];贵州大学;2007年
10 张帆;基于异步π-演算的两阶段提交协议的形式化描述和验证[D];国防科学技术大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026