收藏本站
《计算机研究与发展》 2003年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于串空间的安全协议形式化验证模型及算法

周宏斌  黄连生  桑田  
【摘要】:网络安全在信息时代非常重要 ,而网络安全的关键问题之一是安全协议 首先介绍了当前安全协议形式化验证的前沿方向———串空间理论 ,随后阐述了基于该理论设计的自动验证模型———T模型 ,给出了该模型的算法及描述 ,并通过验证改进前后的Needham Schroeder协议来说明T模型的优势

【引证文献】
中国期刊全文数据库 前9条
1 胡声洲;罗南;卢震辉;;安全协议重放攻击的关联性分析[J];电脑知识与技术(学术交流);2007年20期
2 陈双飞;;一种基于状态空间演化的网络安全协议执行验证技术[J];广西质量监督导报;2007年05期
3 吴立军,苏开乐;安全协议认证的形式化方法研究[J];计算机工程与应用;2004年17期
4 周清雷;赵琳;赵东明;;基于串空间模型的Andrew RPC协议的分析与验证[J];计算机工程与应用;2007年13期
5 胡声洲;余敏;彭文灵;;安全协议的关联性研究[J];计算机工程;2007年21期
6 张孝红;李谢华;;基于串空间的安全协议自动化验证算法[J];计算机工程;2011年05期
7 胡声洲;余敏;章志明;;一种基于关联规则的安全协议验证方法[J];计算机应用;2007年08期
8 方燕萍;张广泉;;基于串空间模型的SSL3.0协议认证性分析[J];苏州大学学报(工科版);2007年06期
9 成敏盈;陈潮填;徐文华;;改进型Helsinki协议的串空间模型分析[J];计算机工程与设计;2008年19期
中国博士学位论文全文数据库 前10条
1 杨欣;异构无线融合网络中统一标识关键技术研究[D];解放军信息工程大学;2010年
2 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
3 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年
4 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
5 王焕宝;安全协议分析的形式化理论与方法[D];合肥工业大学;2006年
6 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
7 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
8 李援;安全协议代数证明方法研究[D];合肥工业大学;2007年
9 陶宏才;安全协议结构及其范式研究[D];西南交通大学;2007年
10 刘家芬;安全协议形式化分析中认证测试方法的研究[D];电子科技大学;2009年
中国硕士学位论文全文数据库 前10条
1 余磊;基于串空间模型的安全协议分析方法研究[D];淮北师范大学;2010年
2 刘燕玲;基于串空间模型的安全协议自动化验证方法研究[D];郑州大学;2011年
3 赵自强;基于串空间模型的形式化方法的扩展与应用[D];成都理工大学;2011年
4 莫笑丽;基于strand空间模型的安全协议分析与设计方法研究[D];山东大学;2005年
5 刘靖;802.11i中安全协议的形式化验证[D];内蒙古大学;2006年
6 吴光伟;基于串空间的安全协议Athena分析方法的研究[D];桂林电子科技大学;2006年
7 张畅;基于多重集重写的密码协议形式化分析技术研究[D];解放军信息工程大学;2006年
8 李玉平;基于串空间的网络安全协议形式化分析模型与工具研究[D];浙江工业大学;2007年
9 成敏盈;电力系统安全协议形式化分析技术研究[D];广东工业大学;2008年
10 廖振岚;基于串空间模型的协议分析方法研究[D];重庆大学;2008年
【参考文献】
中国期刊全文数据库 前1条
1 桑田,黄连生,张磊;改进的加密协议形式化验证模型和算法[J];清华大学学报(自然科学版);2002年01期
【共引文献】
中国期刊全文数据库 前1条
1 叶敦范;宁涛;;UMTS系统鉴权和密钥分配机制的改进[J];计算机工程;2008年08期
中国博士学位论文全文数据库 前1条
1 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
中国硕士学位论文全文数据库 前5条
1 程莹;网络安全协议的模型检测分析及验证系统[D];南昌大学;2010年
2 赵剑;银行—商场实时联网POS增值系统[D];合肥工业大学;2002年
3 练斌;安全微支付系统的研究与设计[D];西南交通大学;2005年
4 李玉平;基于串空间的网络安全协议形式化分析模型与工具研究[D];浙江工业大学;2007年
5 宁涛;UMTS系统接入安全机制的研究[D];中国地质大学;2008年
【同被引文献】
中国期刊全文数据库 前10条
1 索武杰,贾怀义;基于移动IPv6的移动网络技术研究[J];北方交通大学学报;2003年03期
2 卢宁宁;周华春;张宏科;;一体化网络体系架构中一种新型接入机制[J];北京交通大学学报;2009年02期
3 李先贤,怀进鹏;一种双方不可否认的密码协议及应用[J];北京航空航天大学学报;2001年02期
4 张宇,侯自强,焦燕鸿;全IP有线无线一体化接入网体系结构和关键技术[J];北京邮电大学学报;2004年S1期
5 龙士工;罗文俊;袁超伟;李祥;;串空间模型中的口令猜测攻击[J];北京邮电大学学报;2007年01期
6 邹东尧;宋美娜;宋俊德;;对等网络Chord模型的分区管理策略[J];北京邮电大学学报;2008年03期
7 李静林;苏森;杨放春;;融合网络环境下的增值业务构建模式[J];北京邮电大学学报;2009年S1期
8 于标;一个NP问题的近似算法[J];东北电力学院学报;2002年01期
9 王振朝;侯惠然;甘玉涛;;基于混沌理论的低压电力线通信信道建模研究[J];电测与仪表;2007年08期
10 汪文勇;黄鹂声;;下一代互联网实名访问机制研究[J];电子科技大学学报;2006年01期
中国博士学位论文全文数据库 前10条
1 田建波;认证协议的分析设计[D];西安电子科技大学;1998年
2 郑东;密码协议的逻辑分析与设计[D];西安电子科技大学;1999年
3 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
4 王贵林;门限签名方案和认证协议的设计与分析[D];中国科学院软件研究所;2001年
5 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
6 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
7 左天军;Java虚拟机安全性的形式化分析和验证[D];西安电子科技大学;2005年
8 华东明;安全协议的形式化方法及其应用的研究[D];中国科学院研究生院(计算技术研究所);2005年
9 李光辉;逻辑电路的等价性检验方法研究[D];中国科学院研究生院(计算技术研究所);2005年
10 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
中国硕士学位论文全文数据库 前10条
1 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
2 莫燕;网络安全协议模型检测技术研究与应用[D];西安电子科技大学;2005年
3 林立;基于高阶逻辑系统HOL的数字硬件形式化验证[D];西安电子科技大学;2005年
4 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
5 邓珍荣;基于串空间模型的协议验证技术研究[D];广西大学;2005年
6 罗利军;主机标识协议HIP的实现—基本通信模块[D];电子科技大学;2005年
7 袁霖;基于Spi演算的密码协议自动化分析技术研究[D];中国人民解放军信息工程大学;2005年
8 陈波;基于定理证明器HOL的硬件验证研究[D];兰州大学;2006年
9 程美娅;WLAN和3G系统融合网络的安全性研究[D];西南交通大学;2006年
10 范勤;宽带用户安全管理系统研究与实现[D];国防科学技术大学;2005年
【二级引证文献】
中国期刊全文数据库 前10条
1 张慧;郑超美;;安全协议的形式化验证方法概述[J];计算机安全;2007年01期
2 刘庆华;周小燕;;安全协议的形式化分析方法[J];光盘技术;2008年03期
3 陈莹莹;张庚;翟明岳;李杰;党美琳;邢桂兰;;基于统一通信技术的异构网络穿越安全算法研究[J];电信科学;2013年12期
4 吴立军;苏开乐;;一种多项式时间复杂度的密码协议秘密性验证方法[J];计算机科学;2005年07期
5 高冠龙;周清雷;;时间自动机与网络协议验证[J];计算机工程;2006年22期
6 薛海峰;;安全协议的设计流程及层次模型研究[J];计算机应用与软件;2011年06期
7 薛明;;CSP方式的安全协议建模研究[J];科技信息(学术研究);2008年12期
8 解颜铭;石曙东;翁艳琴;;一种新的电子邮件协议及其形式化分析[J];湖北师范学院学报(自然科学版);2013年01期
9 吴名欢;程小辉;;基于CSP的物联网David数字图书馆协议的改进与形式化分析[J];计算机科学;2014年01期
10 赵艳芹;董军;;安全协议的形式化验证技术研究[J];太原师范学院学报(自然科学版);2007年04期
中国博士学位论文全文数据库 前10条
1 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
2 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
3 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
4 费晓飞;空间通信协议安全性研究[D];解放军信息工程大学;2008年
5 曹春杰;可证明安全的认证及密钥交换协议设计与分析[D];西安电子科技大学;2008年
6 杨超;无线网络协议的形式化分析与设计[D];西安电子科技大学;2008年
7 冯涛;通用可复合密码协议理论及其应用研究[D];西安电子科技大学;2008年
8 董玲;密码协议工程与基于新鲜性的协议安全研究[D];上海交通大学;2008年
9 李云峰;电子商务协议安全性的形式化分析方法研究[D];西南交通大学;2009年
10 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
2 陈铮;认知网络的网络架构及行为模型研究[D];北京邮电大学;2011年
3 伊扬帆;WLAN Mesh认证密钥协商方案的研究[D];兰州理工大学;2011年
4 刘燕玲;基于串空间模型的安全协议自动化验证方法研究[D];郑州大学;2011年
5 赵自强;基于串空间模型的形式化方法的扩展与应用[D];成都理工大学;2011年
6 李根;IEEE 802.11标准四次握手协议安全性分析与改进[D];天津大学;2010年
7 计宏霖;基于UPPAAL的电子商务协议安全性分析[D];解放军信息工程大学;2008年
8 张经纬;公钥密码算法识别技术研究[D];解放军信息工程大学;2011年
9 孙守卿;基于模型检测工具SPIN的安全协议分析和验证[D];兰州大学;2006年
10 刘靖;802.11i中安全协议的形式化验证[D];内蒙古大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 余冬梅,边培泉,冯涛;安全协议中的形式化验证技术[J];微机发展;2003年11期
2 王忆;;基于面向特征编程范式的形式化验证技术的应用与研究[J];信息与电脑(理论版);2011年01期
3 杨泽民;范全润;;硬件设计的形式化验证技术[J];太原师范学院学报(自然科学版);2007年02期
4 叶俊;谭庆平;李暾;;面向特征编程范式的形式化验证技术研究综述[J];计算机工程与科学;2010年09期
5 周宏斌,黄连生,桑田;基于串空间的安全协议形式化验证模型及算法[J];计算机研究与发展;2003年02期
6 韩俊刚;硬件设计的形式化验证[J];计算机研究与发展;1991年11期
7 王彦本;;集成电路形式化验证方法研究[J];电子科技;2008年08期
8 张慧;郑超美;;安全协议的形式化验证方法概述[J];计算机安全;2007年01期
9 黄连生,王新兵,谢峰,杨克;安全协议形式化验证方法的比较与分析[J];计算机工程与应用;2001年14期
10 张博颖;;优先级顶协议的形式化验证[J];计算机仿真;2007年06期
中国重要会议论文全文数据库 前2条
1 吴铃铃;周干民;何伟;高明伦;;IP软核的形式化验证[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年
2 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国硕士学位论文全文数据库 前8条
1 李小波;龙芯2号功能部件半形式化验证方法的研究与实现[D];首都师范大学;2006年
2 焦金良;基于多项式模型的高层次形式化验证[D];哈尔滨工程大学;2006年
3 张倩;基于可编程逻辑的硬件平台的设计与形式化验证[D];北京交通大学;2009年
4 张金磊;形式化验证技术在EDA软件开发中的应用[D];西安电子科技大学;2011年
5 马小龙;形式化验证在Office安全中的应用研究[D];中国人民解放军信息工程大学;2005年
6 张泽恩;基于GSTE中的符号仿真设计与实现[D];电子科技大学;2012年
7 林立;基于高阶逻辑系统HOL的数字硬件形式化验证[D];西安电子科技大学;2005年
8 谭力;基于情态演算的UML形式化验证与OCL约束自动生成研究[D];华东师范大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026