收藏本站
《西安电子科技大学学报(自然科学版)》 2006年03期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种形式化分析安全协议的新模型

慕建君  
【摘要】:串空间是安全协议形式化分析的一种新模型.利用次序关系的理论证明了借助串空间模型进行安全协议形式化分析的一个重要结论.通过构造入侵者串的方法,针对Woo-Lam协议提出了一个入侵者串空间模型,同时利用此入侵者串空间模型分析了该协议存在的缺陷,说明了改进后的Woo-Lam协议可克服此缺陷.与现有安全协议形式化分析方法相比较,串空间模型不仅具有简洁直观的优点,而且还可避免状态空间爆炸的问题.
【作者单位】西安电子科技大学计算机学院
【基金】:国家自然科学基金资助项目(60573034)
【分类号】:TP393.08

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 毛立强;马建峰;;可证明安全的MANET按需距离矢量路由协议分析[J];西安电子科技大学学报;2008年06期
中国硕士学位论文全文数据库 前2条
1 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
2 翟红杰;3G移动通信系统中基于认证测试的EAP-AKA协议研究[D];西安电子科技大学;2008年
【共引文献】
中国期刊全文数据库 前10条
1 程家兴,陈万里,宋杰;相容关系与相容核[J];安徽大学学报(自然科学版);2004年04期
2 谢克藻;数学语言浅说[J];安康师专学报;2000年04期
3 吕烈翰;关于集合与模糊集合的性质[J];安庆师范学院学报(自然科学版);1996年02期
4 车燕,任开隆;数学符号及其历史和作用[J];北京联合大学学报;2001年02期
5 刘均梅;等价关系在陪集教学中的应用探讨[J];北京联合大学学报(自然科学版);2004年04期
6 王郁昕;徐影;;互逆主义逻辑与古典逻辑比较[J];北京联合大学学报(自然科学版);2006年03期
7 程晓锦,徐秀花;用数学归纳法证明离散数学的有关结论[J];北京印刷学院学报;2001年02期
8 丁树良,罗芬;求偏序关系Hasse图的算法[J];江西师范大学学报(自然科学版);2005年02期
9 祝玉芳;丁树良;;规则空间模型理论基础的改进[J];江西师范大学学报(自然科学版);2008年01期
10 孙凤芝,程霜梅,刘建群;反对称性和传递性的两个等价定义及应用[J];长春师范学院学报;2004年10期
中国重要会议论文全文数据库 前2条
1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年
2 张绍飞;;无向简单图的一些拓扑特征的代数刻划[A];数学·物理·力学·高新技术研究进展(一九九六·第六期)——中国数学力学物理学高新技术交叉研究会第6届学术研讨会论文集[C];1996年
中国博士学位论文全文数据库 前8条
1 张玉芳;基于媒体素材库的学习内容构建方法研究[D];重庆大学;2001年
2 吴金华;空间数据仓库的元数据研究[D];武汉大学;2003年
3 侯霞;卫星网络故障检测与诊断相关技术的研究[D];中国科学院研究生院(软件研究所);2005年
4 陈万里;基于商空间理论和粗糙集理论的粒计算模型研究[D];安徽大学;2005年
5 吉日木图;图的标号及超图分解问题研究[D];大连理工大学;2006年
6 奚悦;若干图标号问题的研究[D];大连理工大学;2007年
7 平湖;基于本体的政务信息交换技术的研究[D];东华大学;2007年
8 滕少华;基于对象监控的分布式协同入侵检测[D];广东工业大学;2008年
中国硕士学位论文全文数据库 前10条
1 朱彦;复合词的语义结构与词素义的提示机制[D];广西师范大学;2000年
2 严宇峰;消息中间件技术的研究及实现[D];武汉科技大学;2002年
3 董国承;不包含三边形四边形五边形的极图[D];大连理工大学;2003年
4 陈志强;具有相同路径层矩阵的无割点四正则图[D];大连理工大学;2003年
5 赵辉;信息增值中的聚类分析算法研究[D];河北工业大学;2003年
6 宁爱兵;面向事实程序设计的构思[D];江西师范大学;2003年
7 唐磊;基于线框模型的三维实体重构问题的分析与研究[D];中国海洋大学;2003年
8 张艳;优化问题的通用搜索算法研究与实现[D];山东科技大学;2003年
9 生竹声;应用层数据型对象在RDBMS中存取技术的实现[D];苏州大学;2003年
10 刘澎;胶印机输墨系统研究及仿真软件开发[D];西安理工大学;2004年
【同被引文献】
中国期刊全文数据库 前10条
1 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期
2 顾永跟;傅育熙;;基于进程演算和知识推理的安全协议形式化分析[J];计算机研究与发展;2006年05期
3 李廷元;秦志光;刘晓东;张选芳;;Needham-Schroeder协议的认证测试方法形式化分析[J];计算机工程与应用;2010年19期
4 李谢华;李建华;杨树堂;诸鸿文;;认证测试方法在安全协议分析中的应用[J];计算机工程;2006年02期
5 薛锐;冯登国;;安全协议的形式化分析技术与方法[J];计算机学报;2006年01期
6 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
7 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
8 徐梦茗;肖聪;李斌;杜彪;;安全协议形式化分析的研究和实现[J];信息安全与通信保密;2008年08期
9 刘东苏,韦宝典,王新梅;改进的3G认证与密钥分配协议[J];通信学报;2002年05期
10 韩明奎;潘进;刘琼;李波;;基于扩展Spi演算的IKEv2协议形式化分析与改进[J];计算机技术与发展;2010年08期
中国博士学位论文全文数据库 前2条
1 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
2 华东明;安全协议的形式化方法及其应用的研究[D];中国科学院研究生院(计算技术研究所);2005年
中国硕士学位论文全文数据库 前1条
1 莫燕;网络安全协议模型检测技术研究与应用[D];西安电子科技大学;2005年
【二级引证文献】
中国期刊全文数据库 前7条
1 闫丽丽;彭代渊;高悦翔;;Ad hoc网络中认证路由协议的改进及其安全性分析[J];电子科技大学学报;2011年04期
2 闫丽丽;彭代渊;;Ad hoc网络中ARAN路由协议的安全性分析[J];电子与信息学报;2010年09期
3 王晓燕;;3G和WLAN网络互连安全认证机制[J];呼伦贝尔学院学报;2011年02期
4 董学文;牛文生;马建峰;盛立杰;;Ad-hoc路由协议的串空间安全性扩展[J];计算机科学;2011年07期
5 董学文;马建峰;牛文生;毛立强;谢辉;;基于串空间的Ad Hoc安全路由协议攻击分析模型[J];软件学报;2011年07期
6 崔晓坤;舒桂清;宋维;尚韬;;基于3G系统的合法监听功能设计研究[J];现代电子技术;2012年05期
7 铁玲;易勇;何迪;;多跳快速切换代理移动IPv6预认证协议的安全分析[J];信息网络安全;2012年06期
中国博士学位论文全文数据库 前3条
1 李海涛;AKA协议分析建模与防御策略研究[D];北京邮电大学;2010年
2 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
3 董学文;基于串空间模型安全协议形式化方法的分析与扩展[D];西安电子科技大学;2011年
【相似文献】
中国期刊全文数据库 前10条
1 刘培,周明天;基于串空间的认证协议分析[J];实验科学与技术;2005年03期
2 李廷元;秦志光;刘晓东;张选芳;;Needham-Schroeder协议的认证测试方法形式化分析[J];计算机工程与应用;2010年19期
3 王惠斌;常青美;祝跃飞;;基于PDS的IKE安全协议形式化分析[J];河南师范大学学报(自然科学版);2007年03期
4 付宇;马自堂;王惠芳;;安全协议形式化混合分析技术的研究与应用[J];计算机工程;2006年17期
5 刘玉坤;张浩军;;基于模型检测的NS公钥认证协议分析[J];计算机与数字工程;2009年02期
6 韩继红;范钰丹;王亚弟;郭渊博;;一种基于语义的安全协议形式化模型[J];计算机科学;2009年02期
7 胡声洲;余敏;彭文灵;;安全协议的关联性研究[J];计算机工程;2007年21期
8 韩金淑;张浩军;;改进CS逻辑的自动化分析工具实现[J];电脑知识与技术;2010年15期
9 周鹏;林华;;基于SVO逻辑的SNMP协议的改进及形式化分析[J];湖南科技学院学报;2011年08期
10 陈浩;程娜;何大可;;ISI支付协议的Strand Space模型及其公平性分析[J];信息安全与通信保密;2006年10期
中国重要会议论文全文数据库 前10条
1 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
2 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
3 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
4 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
5 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
6 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
7 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
8 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年
9 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
10 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
中国重要报纸全文数据库 前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];西安电子科技大学;2012年
2 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
3 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
4 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
5 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
6 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
7 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
8 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
9 杨超;无线网络协议的形式化分析与设计[D];西安电子科技大学;2008年
10 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
中国硕士学位论文全文数据库 前10条
1 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
2 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年
3 尹学永;调和两种观点的安全协议形式化分析方法研究[D];山东大学;2009年
4 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
5 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
6 董军;安全协议形式化验证方法的研究[D];贵州大学;2007年
7 李志新;基于串空间理论的电子商务协议安全性研究[D];大连理工大学;2008年
8 邓珍荣;基于串空间模型的协议验证技术研究[D];广西大学;2005年
9 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
10 刘学锋;安全协议形式化分析及其应用[D];湘潭大学;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026