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

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

下载App查看全文

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前20条

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期
11	周清雷;王峰;赵东明;;NSSK协议的串空间模型及分析[J];微计算机信息;2007年21期
12	缪祥华;;Denning-Sacco密钥分配协议的分析与改进[J];昆明理工大学学报(理工版);2010年02期
13	龙士工;;基于带标记串空间模型的安全协议分析[J];微计算机信息;2010年06期
14	冯烟利,余镇危,潘耘,刘克俭;网络体系结构建模和性能评价的形式化方法——随机进程代数[J];数学的实践与认识;2004年11期
15	沈海峰;薛锐;黄河燕;;用串空间分析公平交换协议[J];小型微型计算机系统;2006年01期
16	刘义春;张焕国;;电子商务协议的串空间分析[J];计算机科学;2008年02期
17	陈建熊;孙乐昌;潘祖烈;蔡铭;;串空间理论的扩展和应用[J];计算机工程;2009年22期
18	谭新莲;李磊;;安全电子商务协议的形式化分析[J];数学爱好者(教育学术);2008年02期
19	王玉磊;邓淼磊;钱兴中;周跃华;郭宏刚;;口令猜测攻击的串空间模型分析[J];河北师范大学学报(自然科学版);2009年02期
20	毋晓英;周清雷;;一种安全协议自动化分析方法[J];计算机应用研究;2010年06期

中国重要会议论文全文数据库

前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年

中国博士学位论文全文数据库

前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年

中国重要报纸全文数据库

前1条

1	尹霞;我说的话你能听懂吗？[N];计算机世界;2001年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南