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

计算机通信网安全协议的分析研究

张玉清  
【摘要】: 本论文主要研究了密码协议的形式分析方法,作者所取得的主要研究结果如下: (1)研究了BAN逻辑在初始假设、理想化步骤、语义、探测对协议的攻击等方面 所存在的缺陷; (2)首次采用模型检测工具SMV对密码协议进行分析,并给出了具体分析的方法, 实践表明我们运用SMV对密码钥协议分析的方法是有效和成功的; (3)分析了Helsinki密码协议,并提出了一种更安全的Helsinki密码协议; (4)对TMN密码协议进行了有效的分析,并成功地找到了以往形式分析所没有发现 过的新的一类攻击; (5)提出了一种针对两者密码协议的运行模式分析法,这是一种独立于任何模型检 测工具的通用方法; (6)用运行模式分析法研究和分析了TW密码协议,分析结果表明运行模式分析法 是有效和成功的; (7)建立了通用的两者密码协议的SMV分析程序框架。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 胡成军,郑援,沈昌祥;密码协议的秘密性证明[J];计算机学报;2003年03期
2 吴家平,文栋辉,赵振西;网络认证体系的通用程序设计[J];计算机应用研究;1998年04期
3 张玉清,李继红,肖国镇;密码协议分析工具——BAN逻辑及其缺陷[J];西安电子科技大学学报;1999年03期
4 苌进;;BAN逻辑及BAN类逻辑研究[J];河南科技;2010年09期
5 钱勇,张勇,白英彩;密码协议基于遍历的分析方法[J];计算机工程;2001年03期
6 王焕宝,张佑生,侯整风;用于密码协议安全性证明的串空间模型[J];合肥工业大学学报(自然科学版);2005年05期
7 何成,王尚平,王晓峰;一种分析密码协议的新逻辑[J];计算机工程与应用;2003年30期
8 李莉,张焕国;一种对密码协议攻击的分类分析[J];计算机工程与应用;2004年01期
9 刘怡文,李伟琴,冯登国;密码协议的一种基于组合推理的模型验证[J];通信学报;2003年09期
10 陈玉涛,贾步忠;一种用于密码协议形式化验证的简单逻辑[J];电子科技;2005年05期
11 任侠 ,吕述望;密码协议分析的形式化方法研究[J];信息安全与通信保密;2003年04期
12 Gilles Brassard ,Claude Crepeau ,Jean-Marc Robert ,张治银;秘密的全或无泄露[J];信息安全与通信保密;1988年04期
13 袁志祥,蒋昌俊;基于Petri网的安全电子交易协议描述与分析[J];计算机工程;2003年10期
14 张吉吉,王滨,汪和松;Diffie-Hellman密钥建立协议的前向保密性研究[J];长沙电力学院学报(自然科学版);2004年03期
15 刘璟;祝世雄;周明天;;Yahalom协议的串空间模型及分析[J];小型微型计算机系统;2006年05期
16 寇红召;郝耀辉;郭渊博;刘伟;;密码协议的入侵检测模型设计与实现[J];通信技术;2008年04期
17 吕建强;夏春芬;;形式化方法在密码协议中的应用[J];科技信息;2009年06期
18 张玉清,王磊,肖国镇,吴建平;Needham-Schroeder公钥协议的模型检测分析[J];软件学报;2000年10期
19 陈旭日,黄翠良;基于Kerberos系统的Windows2000认证机制的分析和改进方案[J];零陵师范高等专科学校学报;2001年03期
20 张玉清,吴建平,李星;BAN类逻辑的由来与发展[J];清华大学学报(自然科学版);2002年01期
中国重要会议论文全文数据库 前10条
1 杨扬;李祥;;一种用于Web服务的密码协议及实现[A];2005年全国理论计算机科学学术年会论文集[C];2005年
2 戴丹;;密码协议安全性分析的逻辑方法[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
3 秦静;李宝;崔少军;李丽;;对OT协议的分析与改进[A];2005年信息与通信领域博士后学术会议论文集[C];2005年
4 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
5 张岚;余昭平;;后继攻击以及它的应用[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年
6 马英杰;肖丽萍;何文才;李彦兵;;用BAN逻辑方法分析TLS协议[A];中国通信集成电路技术与应用研讨会论文集[C];2004年
7 于增贵;;密码设计中的安全漏洞[A];四川省通信学会2003年学术年会论文集[C];2003年
8 李亚敏;帅飞;高鑫鑫;;几种密码协议验证工具的比较和分析[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
9 卿斯汉;;关于“报文重发”型攻击的注记[A];第十一届全国计算机安全技术交流会论文集[C];1996年
10 李杏;李中年;;M~2E~2算法的研究[A];04'中国企业自动化和信息化建设论坛暨中南六省区自动化学会学术年会专辑[C];2004年
中国博士学位论文全文数据库 前10条
1 周志勇;密码协议攻击规划理论及算法研究[D];解放军信息工程大学;2009年
2 董玲;密码协议工程与基于新鲜性的协议安全研究[D];上海交通大学;2008年
3 李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年
4 张俊伟;密码协议的可组合安全[D];西安电子科技大学;2010年
5 王全来;密码协议的形式化分析方法研究[D];解放军信息工程大学;2009年
6 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年
7 田有亮;分布式密码协议及公平性研究[D];西安电子科技大学;2012年
8 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
9 肖攸安;网络信息安全中的椭圆曲线公钥密码体系的研究[D];武汉理工大学;2003年
10 王莉;若干关于矩阵的密码协议的设计与分析[D];上海大学;2013年
中国硕士学位论文全文数据库 前10条
1 李晨;关于密码协议的形式化分析方法的研究[D];电子科技大学;2010年
2 龙军;关于密码协议形式化验证方法的研究[D];国防科学技术大学;2003年
3 刘秀英;计算机通信网安全协议形式化分析研究[D];西安电子科技大学;2004年
4 张广胜;基于时延Petri网的密码协议分析和评估[D];山东科技大学;2003年
5 王永宝;密码协议的代数模型和安全分析算法研究[D];北京邮电大学;2006年
6 董卫;基于Petri网的密码协议分析[D];山东科技大学;2005年
7 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
8 王刚;椭圆曲线密码引擎的设计与实现[D];苏州大学;2005年
9 张岚;基于广义串空间模型的密码协议设计与分析的研究[D];解放军信息工程大学;2006年
10 苗小雨;两类密码协议的分析与改进[D];杭州电子科技大学;2011年
中国重要报纸全文数据库 前5条
1 李文;ADSL共享上网[N];中国计算机报;2003年
2 本报记者 方正;舍鱼而取熊掌[N];网络世界;2002年
3 陈克非、黄旸;Internet安全:利剑高悬[N];中国计算机报;2000年
4 沈生;蜜罐诱敌深入[N];中国计算机报;2003年
5 记者方正报道;Windows面临本地化安全改造[N];网络世界;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978