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

基于UML安全协议的建模和自动检测

刘万授  
【摘要】:网络安全是目前人们关注的一个热点,而安全协议的安全性却是网络安全的关键。安全协议应用于网络上传送文件和进行各种交易以及对计算机系统的访问等。人们已通过不同的方法证明一些已存在的安全协议并不如它们所声明的那样安全。对安全协议的安全性进行验证成为国内外研究的热点。 本文主要研究安全协议的可视化建模,以及自动检测。论文首先介绍了安全协议,接着介绍安全协议的形式化方法和自动检测方法,并着重介绍模型检测工具SPIN的原理和它的建模语言PROMELA。接着提出了安全协议的UML建模规则和过程,并讨论了安全协议的UML模型转化成PROMELA语言的过程以及如何自动产生攻击者模型。为了实现安全协议的可视化设计与自动验证,开发了自动转化工具来实现这一目标。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 田明,刘小东,肖美华;网络安全攻防探讨[J];计算机与现代化;2000年05期
2 高爱乃;;浅析Windows Server 2003安全策略[J];网络安全技术与应用;2006年10期
3 李红,罗进文;IPv6协议安全性探讨[J];甘肃科技;2000年03期
4 邵世祥,陈契,吴蒙;用NCP逻辑分析LMDS的PKM协议[J];通信学报;2004年09期
5 王娟;;IPv6网络安全机制分析[J];电脑知识与技术;2009年06期
6 谢扬;王金凤;;基于椭圆曲线的一种盲数字签名设计[J];重庆电子工程职业学院学报;2010年02期
7 ;协议[J];电子科技文摘;2006年02期
8 盛焕烨,王珏;网络安全攻防对策综述[J];上海交通大学学报;1997年08期
9 朱艳琴;TCP/IP协议的安全性研究[J];苏州大学学报(自然科学版);1999年02期
10 田畅;公开密钥协议的可鉴别性[J];计算机学报;1992年02期
11 张郭军;任宏;;基于IPv6的网络协议安全机制分析[J];渭南师范学院学报;2006年02期
12 邓永江;程转流;;一个改进的Kerberos认证协议设计与分析[J];福建电脑;2006年06期
13 张璇;;基于隧道技术VPN主要协议安全性的探讨[J];南宁职业技术学院学报;2007年02期
14 满毅;单洪;;形式描述技术在通信协议安全分析中的应用[J];计算机应用;2008年S1期
15 邓亚平;付红;谢显中;张玉成;石晶林;;基于公钥体制的3GPP认证与密钥协商协议[J];计算机应用;2009年11期
16 杨继赢;邱小玲;;路由器安全系统的分析与设计[J];软件导刊;2007年13期
17 姚君兰;;加强SSL协议安全性的方法探讨[J];兵工自动化;2007年10期
18 蔡俊辉;;局域网技术的安全隐患分析[J];四川建材;2005年05期
19 翁艳琴;石曙东;解颜铭;;Aziz-Diffie协议的形式化分析及其改进[J];湖北师范学院学报(自然科学版);2011年03期
20 朱宏峰;刘天华;常桂然;;基于DOST技术对RDMA高效安全性的认证[J];沈阳建筑大学学报(自然科学版);2006年03期
中国重要会议论文全文数据库 前10条
1 刘衍斐;李晖;罗群;;基于分层模型的通信网安全问题分析与对策[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(上册)[C];2008年
2 顾亚强;吴波;赵晖;;基于口令认证的三方密钥交换协议改进方法[A];中国电子学会第十六届信息论学术年会论文集[C];2009年
3 原伟利;贺丹丹;;网络安全之TCP/IP协议安全性研究[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(上册)[C];2010年
4 冯涛;马建峰;;Y-SPH-OT协议的安全性分析[A];2006年全国理论计算机科学学术年会论文集[C];2006年
5 张锋;常会友;;茫然第三方支持的隐私保持离群点探测协议[A];第二十四届中国数据库学术会议论文集(研究报告篇)[C];2007年
6 吴万烽;王汝传;黄海平;李玲娟;;基于可再生哈希链及二次示证方案的安全高效距离向量协议[A];江苏省电子学会2010年学术年会论文集[C];2010年
7 李晓光;谢新翔;;无线城域网IEEE802.16标准安全机制研究[A];江苏省通信学会2004年学术年会论文集[C];2004年
8 张建锋;蔡开裕;朱培栋;;基于前缀劫持的垃圾邮件攻击及其对策[A];中国通信学会第五届学术年会论文集[C];2008年
9 武晓华;王劲林;;一种基于公钥加密的移动通信认证协议[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年
10 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
中国博士学位论文全文数据库 前10条
1 李海涛;AKA协议分析建模与防御策略研究[D];北京邮电大学;2010年
2 费晓飞;空间通信协议安全性研究[D];解放军信息工程大学;2008年
3 刘丹;量子通信协议与安全策略研究[D];西安电子科技大学;2011年
4 侯孟波;基于身份和无证书的两方认证密钥协商协议研究[D];山东大学;2010年
5 舒剑;认证密钥协商协议的设计与分析[D];电子科技大学;2010年
6 初剑峰;基于信任服务的IBE体系[D];吉林大学;2009年
7 陈莉;电子商务安全协议的设计与分析[D];解放军信息工程大学;2009年
8 张斌;高效安全的多方计算基础协议及应用研究[D];山东大学;2012年
9 倪亮;关于认证密钥协商协议若干问题的研究[D];上海交通大学;2012年
10 赵建杰;认证密钥协商协议的分析与设计[D];上海交通大学;2011年
中国硕士学位论文全文数据库 前10条
1 汪见晗;RFID系统的距离边界协议研究[D];华中师范大学;2014年
2 元文浩;3-D Secure协议在电子商务中的应用研究[D];云南大学;2012年
3 曹永超;基于公钥密码体制的OT协议[D];山东大学;2010年
4 何珂依;基于Android系统的SIP协议研究与实现[D];湖南大学;2013年
5 马萌;基于云的协议识别模型与算法研究[D];北京邮电大学;2011年
6 闫虹;面向AKE协议的可证明安全性模型的研究[D];东北大学;2009年
7 陈科文;基于Android平台及SIP协议的软电话系统的研究[D];华南理工大学;2013年
8 刘洋;可信计算平台下属性证明协议的研究与应用[D];东北大学;2011年
9 陈赞锋;IPSec协议安全芯片的设计与实现[D];西北工业大学;2005年
10 薛青晗;基于虚拟化技术的设备驱动映射协议研究[D];南京邮电大学;2013年
中国重要报纸全文数据库 前10条
1 文中国地质大学信息工程学院 唐雅薇 ;VoIP协议安全:无法忽略之痛[N];中国计算机报;2005年
2 陕西人民广播电台技术中心 郭宏波;翻越协议安全大山[N];通信产业报;2006年
3 王书琴;电力IP城域网的内部安全[N];网络世界;2005年
4 清华大学网络中心 陈晓峰;VoIP的四大“护法”[N];通信产业报;2006年
5 王书琴;内外兼修才安全[N];中国计算机报;2005年
6 高岚;清华比威从高端入手[N];中国计算机报;2001年
7 小佚;清华紫光三条路汇向新网络[N];中国计算机报;2000年
8 师华伟;国家计委就网络专项发布公告[N];中国电子报;2000年
9 ;方御防火墙关注应用[N];网络世界;2004年
10 山枫;安全到七层[N];中国计算机报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978