收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

知网文化
【相似文献】
中国期刊全文数据库 前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