收藏本站
《西安电子科技大学》 2000年 博士论文
收藏 | 手机打开
二维码
手机客户端打开本文

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

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


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张新菊;姚淑珍;;基于随机PETRI网的云计算资源访问策略建模和分析[J];系统仿真学报;2011年S1期
2 李倩;杨晓明;朱建红;;RFID技术在路桥收费系统中的应用及安全风险分析[J];电子产品可靠性与环境试验;2009年S1期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前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 周方银;;Formal Models与国际关系研究[A];国际关系理论:前沿与热点——2006年博士论坛[C];2006年
8 于增贵;;密码设计中的安全漏洞[A];四川省通信学会2003年学术年会论文集[C];2003年
9 石春晖;赵战生;;认证协议安全分析[A];第十三届全国计算机安全技术交流会论文集[C];1998年
10 卿斯汉;;关于“报文重发”型攻击的注记[A];第十一届全国计算机安全技术交流会论文集[C];1996年
中国博士学位论文全文数据库 前10条
1 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
2 周志勇;密码协议攻击规划理论及算法研究[D];解放军信息工程大学;2009年
3 董玲;密码协议工程与基于新鲜性的协议安全研究[D];上海交通大学;2008年
4 李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年
5 张俊伟;密码协议的可组合安全[D];西安电子科技大学;2010年
6 王全来;密码协议的形式化分析方法研究[D];解放军信息工程大学;2009年
7 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年
8 郑东;密码协议的逻辑分析与设计[D];西安电子科技大学;1999年
9 肖攸安;网络信息安全中的椭圆曲线公钥密码体系的研究[D];武汉理工大学;2003年
10 王全来;密码协议的形式化分析方法研究[D];解放军信息工程大学;2009年
中国硕士学位论文全文数据库 前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];苏州大学;2007年
中国重要报纸全文数据库 前10条
1 朱少春;第二批学习实践活动指导检查组组长座谈会召开[N];巢湖日报;2009年
2 通讯员 张本国 王世平;学习认识高起点 形式方法多样化[N];中国铁道建筑报;2005年
3 阮艳霞 姜建明;在创新中做好思想政治工作[N];中国乡镇企业报;2004年
4 ;中国人民解放军思想政治教育大纲(试行)[N];解放军报;2007年
5 周晶炯薛冰坚 本报记者 徐叶青;一切着眼实际效果[N];解放军报;2007年
6 本版编辑 邢雷 杨晶 巴音宝力格 实习记者 黄世海;形式方法活 学习效果好[N];边防警察报;2008年
7 施冉;国际关系研究中的实证主义方法[N];中国社会科学院院报;2008年
8 邵平;交流探讨老同志参加学习实践科学发展观活动形式方法[N];中国交通报;2008年
9 李博 陈庭福 陈德银 吴鹏;从机关抓起 建正规秩序[N];人民武警;2009年
10 王建国;会计角色与时俱进[N];山西经济日报;2001年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978