收藏本站
《华南师范大学》 2005年
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前2条
1 张孝红;基于形式化方法的安全协议自动化验证算法的研究[D];湖南大学;2010年
2 任君球;综合地质数据库应用系统建模及实现[D];中南大学;2012年
【共引文献】
中国期刊全文数据库 前10条
1 周秋平,倪友聪;面向对象设计中业务逻辑层对象的优化[J];安徽教育学院学报;2004年06期
2 段丽;薛永毅;赵亦松;;基于UML的手机网络对战游戏系统设计分析[J];北京联合大学学报(自然科学版);2008年01期
3 杜昌军;吕云峰;吴克威;;基于ADO模型的SQL语言解释器[J];长春师范学院学报(自然科学版);2009年04期
4 王学成,张长海;基于XML信息系统开发平台的设计与实现[J];吉林大学学报(信息科学版);2005年05期
5 田兆波,张均东,贾宝柱,任光;船舶机舱实时监视系统的开发[J];大连海事大学学报;2004年04期
6 孔震,林峰,俞骏;PI2000工作流引擎的设计与实现[J];电力系统自动化;2003年21期
7 刘智慧;鲁五一;;文件备份系统软件[J];电脑编程技巧与维护;2008年10期
8 陈静;;基于UML的评学评教系统设计[J];电脑编程技巧与维护;2011年22期
9 刘慧芳;;基于串空间模型的Andrew安全RPC协议分析[J];电脑编程技巧与维护;2012年04期
10 王哲,王时绘;一个语音流程的设计实现及分析[J];电脑开发与应用;2005年05期
中国重要会议论文全文数据库 前5条
1 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
2 徐天岭;王景中;袁开国;杨义先;;基于USB-KEY的P2P保密通信研究与实现[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(上册)[C];2008年
3 贺琦;鲁昌华;侯锋平;;基于指纹识别与数字签名的身份认证系统设计[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
4 王明雨;冯惠;田兆波;;实时船舶机舱监控系统的开发[A];现代船舶机电维修技术(2005)[C];2005年
5 昌赛梅;;基于合同的应付款管理系统设计[A];2008年MIS/S&A学术交流会议论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年
2 王惠斌;安全认证协议的设计与分析[D];解放军信息工程大学;2010年
3 刘益和;应用区域边界安全体系结构的模型研究[D];四川大学;2005年
4 肖迪;混沌理论在数字产品安全中的应用研究[D];重庆大学;2005年
5 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
6 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
7 缪祥华;一种分析和设计安全协议的新逻辑[D];西南交通大学;2006年
8 周勇;逻辑程序及其在安全协议验证中的应用[D];南京航空航天大学;2006年
9 杨华千;基于混沌与代数群的分组密码算法研究[D];重庆大学;2007年
10 姚亦飞;保护私有信息的统计计算问题研究[D];中国科学技术大学;2008年
中国硕士学位论文全文数据库 前10条
1 姜春晖;基于UML的报刊销售管理系统的设计与实现[D];郑州大学;2010年
2 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
3 马玉强;山东省植物信息系统的设计与实现[D];大连理工大学;2009年
4 曹雪峰;基于Web的3D人体经络中医专家系统[D];华南理工大学;2010年
5 漆礼根;基于WEB的在线考试系统设计与实现[D];南昌大学;2010年
6 詹慧;基于FeaVer的Kerberos形式化验证和改进[D];华东理工大学;2011年
7 田黎莉;西南工程学校实验室管理系统的设计与实现[D];电子科技大学;2010年
8 刘畅;基于DSSA的在线监测系统研究[D];昆明理工大学;2009年
9 张小龙;安全协议形式化描述语言的设计与解析[D];解放军信息工程大学;2009年
10 鲁文静;异构无线融合网络中通用接入认证协议研究[D];解放军信息工程大学;2009年
【同被引文献】
中国期刊全文数据库 前10条
1 马云吉,孙晓鹏,李桂丽,李迎春;基于UML的教学管理系统分析与设计[J];鞍山钢铁学院学报;2002年05期
2 戴宗明;新一轮地质调查中复理石区工作应注意的重要问题[J];成都理工学院学报;2000年S1期
3 徐翠玲;钱壮志;马远新;;浅谈面向对象的数字地质图数据模型[J];测绘科学;2007年03期
4 高洪主;刘娟;;关于建立“国土资源管理信息系统”数据库的研究[J];测绘与空间地理信息;2010年01期
5 尚武;杨东来;李景朝;姜作勤;;中国地质信息服务体系的现状、差距及对策[J];中国地质;2007年04期
6 李永兵,陈旭瑞,胡俊峰,谢玉玲,徐九华,刘建明;基于GIS的地质数据库系统:研究现状和发展趋势[J];地球物理学进展;2002年03期
7 吴冲龙;计算机技术与地矿工作信息化[J];地学前缘;1998年02期
8 黄祥芝;;基于数据库建设的区域地质图编制中的有关问题探讨[J];资源环境与工程;2010年02期
9 白毅;;电子政务在和谐社会构建中的作用及发展途径[J];中北大学学报(社会科学版);2011年05期
10 黄辉;于爱军;李永生;傅扬;孔媛媛;;黄金地质勘查项目数据仓库模型数据完整性的实现[J];黄金;2011年09期
中国博士学位论文全文数据库 前2条
1 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
2 刘家芬;安全协议形式化分析中认证测试方法的研究[D];电子科技大学;2009年
中国硕士学位论文全文数据库 前10条
1 阮彦锐;UML顺序图的形式化描述方法研究[D];兰州理工大学;2011年
2 刘灿娟;综合地质数据库管理系统的研究与开发[D];中南大学;2011年
3 薛梅;ASP/JSP技术及WEB应用系统研究开发[D];西安理工大学;2002年
4 潘家志;基于UML的面向对象开发模型UBDM的研究[D];西南农业大学;2002年
5 肖雁鹏;基于UML和设计模式的一种分布计算方案设计与实现[D];西南交通大学;2004年
6 李体新;GameSpot客户信息管理系统的实现与研究[D];天津工业大学;2005年
7 刘进坡;UML在信息系统开发中的应用研究[D];河北大学;2005年
8 周璐;安全协议的漏洞分析及自动验证工具[D];上海交通大学;2007年
9 黄俊莲;可定制的WEB界面设计技术研究[D];大庆石油学院;2007年
10 蔡静;统一过程RUP核心思想在软件开发中的研究和应用[D];电子科技大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 刘玉坤;张浩军;;基于模型检测的NS公钥认证协议分析[J];计算机与数字工程;2009年02期
2 付宇;马自堂;王惠芳;;安全协议形式化混合分析技术的研究与应用[J];计算机工程;2006年17期
3 陈道喜;张广泉;陈冬火;;NSPK协议的Spin模型检测[J];微电子学与计算机;2008年10期
4 朱宜炳;罗敏;;典型安全协议形式化分析工具比较[J];计算机与现代化;2008年05期
5 范红,冯登国;一种混合的安全协议形式化分析技术[J];中国科学院研究生院学报;2002年03期
6 冯珺珺;李光耀;江耘;;基于迹语义的网络安全协议形式化分析[J];计算机与现代化;2007年02期
7 杨琛;段振华;王小兵;;面向命题投影时序逻辑的安全协议模型检测[J];西安交通大学学报;2010年08期
8 肖美华;江耘;邓宸芳;马小薏;薛锦云;;网络安全认证协议形式化分析[J];计算机安全;2006年02期
9 高春雨;朱学永;;安全协议Andrew RPC的SPIN模型检测[J];网络安全技术与应用;2009年05期
10 杨晋吉,苏开乐;电子商务中安全协议的验证方法[J];计算机工程与应用;2003年19期
中国重要会议论文全文数据库 前10条
1 陈道喜;张广泉;陈冬火;;NSPK协议的Spin模型检测[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
2 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
3 刘芳;魏昭;董荣胜;;基于SPIN的协议分析技术研究[A];广西计算机学会2008年年会论文集[C];2008年
4 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
5 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年
6 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
7 Werner Vogelsang;;USING SPIN TO EXPLORE NUCLEON STRUCTURE AND QCD[A];RBRC/CCAST Symposium on Spin Physics, Lattice QCD and RHIC Physics--Proceeding of CCAST (World Laboratory) Workshop[C];2003年
8 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
9 杨秋妹;余阳;李长森;;基于Spin的工作流模型验证[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
10 王聪;王智学;;基于UML2.0的安全协议建模方法[A];江苏省系统工程学会第十一届学术年会论文集[C];2009年
中国重要报纸全文数据库 前10条
1 律师潘家永;“安全协议”是学校的尚方宝剑吗[N];北京日报;2003年
2 于毅;美伊长期安全协议是一剂良药吗?[N];光明日报;2008年
3 蒋文峰;固安网改 无安全协议不开工[N];华北电力报;2000年
4 潘家永;所谓春游“安全协议”是学校的免责利器吗[N];中国教育报;2003年
5 林颖;欧盟最高法院一位资深人士向欧美航空安全协议“叫板”[N];人民法院报;2005年
6 通讯员 苗红俊;安全协议书让安全更有保证[N];人民铁道;2008年
7 许忠通讯员 王滢;吐哈指挥部实现安全协议全覆盖[N];中国石油报;2007年
8 潘家永;春游“安全协议”是学校的尚方宝剑吗[N];法制日报;2004年
9 陈南辉肖曙光;瑞金站公安派出所与村民签订安全协议书[N];人民铁道;2007年
10 驻京记者 王丹;中美合作重点:药品和医械进出口监管[N];医药经济报;2007年
中国博士学位论文全文数据库 前10条
1 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
2 林荣德;移动界程演算及模型检测应用的关键问题研究[D];华南理工大学;2010年
3 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
4 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
5 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
6 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年
7 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
8 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
9 黄宏涛;基于懒惰切片的模型检测技术研究[D];哈尔滨工程大学;2012年
10 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
中国硕士学位论文全文数据库 前10条
1 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
2 朱宜炳;安全协议UML模型的SPIN分析[D];南昌大学;2007年
3 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
4 刘学锋;安全协议形式化分析及其应用[D];湘潭大学;2004年
5 薛克;基于SPIN的UML活动图验证[D];华东师范大学;2008年
6 李根;基于SPIN的命题投影时序逻辑模型检查[D];西安电子科技大学;2008年
7 马军慧;基于无穷模型命题投影时序逻辑的模型检查[D];西安电子科技大学;2007年
8 陈道喜;基于Promela的组合抽象Spin模型检测及应用[D];苏州大学;2009年
9 刘俏威;SPIN模型检测的形式化分析机理研究及应用[D];南昌大学;2008年
10 谢越;基于模型检测的动态协同服务间的一致性验证[D];华东师范大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026