密码协议XML描述方法研究

发布时间：2017-07-06 04:10

  本文关键词：密码协议XML描述方法研究

  更多相关文章： 密码协议 统一建模语言 可扩展标记语言 密钥交换协议 OMNeT++

【摘要】：针对密码协议仿真过程中系统模型难以向仿真模型转换、概念建模过程静态结构和动态行为描述不清晰的问题,提出一种基于UML的密码协议XML描述方法。在形式化分析密码协议静态结构和动态行为的基础上,利用UML类图和UML顺序图建立了密码协议概念模型;通过定义相关映射规则,实现了UML类图和UML顺序图向XML Schema文档的转换,为利用XML文档描述密码协议奠定了语法规范;以IKEv2协议为例,基于OMNe T++仿真平台进行仿真实验,验证了密码协议XML描述方法的有效性和仿真模型的可用性。
【作者单位】： 信息工程大学;
【关键词】： 密码协议 统一建模语言 可扩展标记语言 密钥交换协议 OMNeT++
【分类号】：TN918.1
【正文快照】： 0引言密码协议是一种建立在密码体制基础上,借助密码算法实现密钥分配、身份认证等目的的交互通信协议[1]。对密码协议的研究大都集中在形式化分析方面,从密码协议的安全性质入手,重点分析密码协议本身及其所采用的密码算法、密码技术在理论上存在的安全缺陷。常用的分析方法

【相似文献】

中国期刊全文数据库 前10条

1 钱勇,张勇,白英彩;密码协议基于遍历的分析方法[J];计算机工程;2001年03期

2 束妮娜,王亚弟;密码协议的归纳证明方法[J];计算机工程;2001年10期

3 张玉清;吴建平;李星;;模型检测技术和密码协议分析[J];计算机科学;2001年08期

4 刘怡文,李伟琴;密码协议的分层安全需求及验证[J];北京航空航天大学学报;2002年05期

5 秦超,陈钟,段云所;基于合一替换推理的密码协议分析[J];计算机工程;2002年07期

6 何成,王尚平,王晓峰;一种分析密码协议的新逻辑[J];计算机工程与应用;2003年30期

7 束妮娜,王亚弟;密码协议的设计准则[J];计算机工程;2003年01期

8 郑明磊,李建华,张少俊;一种互认证密码协议的设计和分析[J];上海交通大学学报;2003年06期

9 刘怡文,李伟琴,冯登国;密码协议的一种基于组合推理的模型验证[J];通信学报;2003年09期

10 姬东耀;冯登国;;对两个双方密码协议运行模式的攻击及改进[J];计算机科学;2003年06期

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

1 戴丹;;密码协议安全性分析的逻辑方法[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年

2 李亚敏;帅飞;高鑫鑫;;几种密码协议验证工具的比较和分析[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用（CACIS）学术会议论文集[C];2007年

3 张岚;余昭平;;后继攻击以及它的应用[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年

4 杨扬;李祥;;一种用于Web服务的密码协议及实现[A];2005年全国理论计算机科学学术年会论文集[C];2005年

5 马英杰;肖丽萍;何文才;李彦兵;;用BAN逻辑方法分析TLS协议[A];中国通信集成电路技术与应用研讨会论文集[C];2004年

6 许剑卓;戴英侠;左英男;;BAN逻辑成立的前提[A];第14届全国计算机安全学术交流会论文集[C];1999年

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

1 周志勇;密码协议攻击规划理论及算法研究[D];解放军信息工程大学;2009年

2 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年

3 王全来;密码协议的形式化分析方法研究[D];解放军信息工程大学;2009年

4 张俊伟;密码协议的可组合安全[D];西安电子科技大学;2010年

5 冯涛;通用可复合密码协议理论及其应用研究[D];西安电子科技大学;2008年

6 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年

7 董玲;密码协议工程与基于新鲜性的协议安全研究[D];上海交通大学;2008年

8 张恩;理性信息交换密码协议若干模型及应用研究[D];北京工业大学;2013年

9 曹木亮;基于π-演算的Petri网和密码协议的形式化分析[D];上海交通大学;2007年

10 田有亮;分布式密码协议及公平性研究[D];西安电子科技大学;2012年

中国硕士学位论文全文数据库 前10条

1 杜衡;理性密码协议及其应用研究[D];上海交通大学;2009年

2 龙军;关于密码协议形式化验证方法的研究[D];国防科学技术大学;2003年

3 王永宝;密码协议的代数模型和安全分析算法研究[D];北京邮电大学;2006年

4 赵宇;基于规划的密码协议自动化验证技术研究[D];解放军信息工程大学;2007年

5 张畅;基于多重集重写的密码协议形式化分析技术研究[D];解放军信息工程大学;2006年

6 袁亚飞;逻辑化方法的改进及若干密码协议安全性分析[D];中国人民解放军信息工程大学;2005年

7 张岚;基于广义串空间模型的密码协议设计与分析的研究[D];解放军信息工程大学;2006年

8 张铁钢;三方密码协议的形式化分析研究[D];解放军信息工程大学;2006年

9 李晨;关于密码协议的形式化分析方法的研究[D];电子科技大学;2010年

10 程华清;密码协议安全性分析的逻辑方法及其哲学意蕴[D];华东师范大学;2015年

，

本文编号：524675