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

一种新的安全协议验证方法

刘道斌  郭莉  白硕  
【摘要】:提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法 该方法的特点是利用逆向状态分析和Petri网的状态可达性分析 ,判定协议运行过程中可能出现的不安全状态以及这些状态是否可达 通过实例证明了这种方法的有效性

【引证文献】
中国期刊全文数据库 前2条
1 吴立军,苏开乐;安全协议认证的形式化方法研究[J];计算机工程与应用;2004年17期
2 吴瑞龙;李陶深;;基于有色Petri网模型的安全协议检测方法[J];微电子学与计算机;2006年03期
中国重要会议论文全文数据库 前1条
1 文静华;李祥;;安全开放系统的Petri网模型[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年
中国博士学位论文全文数据库 前3条
1 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
2 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
3 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
中国硕士学位论文全文数据库 前7条
1 彭诗力;网络入侵检测系统的研究与设计[D];中南大学;2005年
2 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
3 吕波;IPv6环境下IKEv2的形式化分析及应用研究[D];贵州大学;2007年
4 张剑虹;SSL/TLS协议在嵌入式系统中的设计与研究[D];江西师范大学;2007年
5 徐东红;基于SPI演算的移动自主网络安全路由协议分析[D];曲阜师范大学;2006年
6 刘靖;802.11i中安全协议的形式化验证[D];内蒙古大学;2006年
7 韩咚;基于颜色Petri网的安全协议分析[D];山东科技大学;2007年
【共引文献】
中国博士学位论文全文数据库 前2条
1 董庆宽;阈下信道技术研究[D];西安电子科技大学;2003年
2 朱珂;Internet域间路由稳定性研究[D];国防科学技术大学;2005年
中国硕士学位论文全文数据库 前7条
1 李强;安全多方计算协议的研究与应用[D];上海交通大学;2003年
2 廖卫民;口令认证密钥交换新协议[D];广州大学;2006年
3 董军;安全协议形式化验证方法的研究[D];贵州大学;2007年
4 李桂斌;面向信息化的制造企业业务流程再造研究[D];哈尔滨理工大学;2007年
5 董涛;安全多方计算的应用研究[D];解放军信息工程大学;2007年
6 罗正钦;基于UC框架的安全协议形式化分析[D];上海交通大学;2008年
7 夏梅宸;面向特殊应用的安全多方计算协议的研究[D];西华大学;2008年
【同被引文献】
中国期刊全文数据库 前10条
1 张超,霍红卫,钱秀槟,张玉清;入侵检测系统概述[J];计算机工程与应用;2004年03期
2 孙宏伟,田新广,李学春,张尔扬;一种改进的IDS异常检测模型[J];计算机学报;2003年11期
3 谷大武,李小勇,陆海宁;网络攻击源追踪系统模型[J];上海交通大学学报;2003年03期
4 鲍峥嵘,王永成,刘功申,韩客松;一种快速的字串交叉模式匹配算法[J];上海交通大学学报;2003年03期
5 乐晓波,陈黎静;Petri网应用综述[J];长沙交通学院学报;2004年02期
6 文静华;张梅;李祥;;ISI协议的符号模型检验分析[J];电讯技术;2005年06期
7 赵建立,闻英友,商瑞强,王光兴;一种新型卫星网管协议的Petri网描述与验证[J];东北大学学报(自然科学版);2004年04期
8 秦志光,刘锦德;安全系统的有限自动机[J];电子科技大学学报;1996年01期
9 林松;戴宗坤;;电子支付安全协议的Petri网模型及分析[J];大连理工大学学报;2005年S1期
10 罗军舟,顾冠群;协议描述和验证的基本方法[J];东南大学学报;1996年05期
中国博士学位论文全文数据库 前4条
1 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
2 李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年
3 胡瑜;基于有色Petri网理论的并行自动测试系统建模研究[D];电子科技大学;2003年
4 赵华伟;两种安全协议形式化理论的研究[D];山东大学;2006年
中国硕士学位论文全文数据库 前3条
1 张广胜;基于时延Petri网的密码协议分析和评估[D];山东科技大学;2003年
2 俸皓;SSL/TLS在嵌入式系统中的研究与实现[D];电子科技大学;2005年
3 简超;基于Petri网的工作流管理系统建模与分析[D];电子科技大学;2006年
【二级引证文献】
中国硕士学位论文全文数据库 前9条
1 孙守卿;基于模型检测工具SPIN的安全协议分析和验证[D];兰州大学;2006年
2 刘靖;802.11i中安全协议的形式化验证[D];内蒙古大学;2006年
3 折建峰;WAP事务层协议的有色PETRI网建模与分析[D];武汉科技大学;2007年
4 宁亮;基于有色Petri网的SPIN协议验证[D];郑州大学;2007年
5 党继胜;基于SVO逻辑的电子商务协议形式化分析与研究[D];贵州大学;2007年
6 吕波;IPv6环境下IKEv2的形式化分析及应用研究[D];贵州大学;2007年
7 李超;安全协议的Athena方法研究[D];桂林电子科技大学;2007年
8 刘雨;CBTC系统通信协议的设计和形式化分析[D];北京交通大学;2007年
9 高霖;CBTC区域控制系统中列车管理的建模与分析[D];北京交通大学;2008年
【相似文献】
中国期刊全文数据库 前10条
1 张慧;赵有健;;安全协议中防御拒绝服务攻击的请求成功率保证算法[J];小型微型计算机系统;2011年06期
2 陈波;;给定环境下服务接口交互的强弱相容性及可达性检测[J];山东大学学报(理学版);2011年09期
3 杨元原;马文平;刘维博;白晓峰;;一种可检测类型缺陷攻击的SAT改进模型[J];沈阳工业大学学报;2011年04期
4 赵书峰;黄刘生;;计算两相交圆精确面积的安全协议[J];微电子学与计算机;2011年07期
5 梁静宇;郭建明;;SSL VPN和IPSec VPN企业应用分析[J];科学之友;2011年11期
6 陈晓红;;EAP软件认证性能分析[J];煤炭技术;2011年08期
7 田小梅;胡灿;;基于IPv6的IPsec VPN技术与应用[J];电脑开发与应用;2011年08期
8 李仲阳;刘金平;李婷婷;;基于密钥的RFID双向认证安全协议[J];计算机安全;2011年07期
9 凌征强;;构建高校图书馆远程访问系统(一)[J];中国教育网络;2011年07期
10 陈兰香;;一种基于会话的安全Web文件服务模型[J];计算机工程;2011年18期
中国重要会议论文全文数据库 前10条
1 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
2 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
3 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
4 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
5 康松;王勋华;;门卫安全协议 一种简单的适用于公共数据网的安全协议[A];第十一届全国计算机安全技术交流会论文集[C];1996年
6 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
7 徐梦茗;李斌;肖聪;;怎样用好AVISPA工具[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
8 周东清;李燕;苏庆福;;一种基于层次型拓扑结构的无线传感器网络安全协议的设计[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
9 张瑞军;陈一周;邓辉;;基于Internet电子商务的安全性探讨[A];图像 仿真 信息技术——第二届联合学术会议论文集[C];2002年
10 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
中国重要报纸全文数据库 前10条
1 ;802.1AE保护局域网安全[N];网络世界;2005年
2 郭莹;CTBS实现安全高速远程接入[N];中国计算机报;2007年
3 朱建军;客户端VPN安全十法则[N];计算机世界;2006年
4 ;天融信打造坚实的VPN方案[N];网络世界;2003年
5 于卫;创造WAP上的ISP[N];计算机世界;2000年
6 ;安全与隐私兼得[N];网络世界;2002年
7 本报记者 谌力;事务处理系统走向SOA[N];网络世界;2005年
8 张彤;以其人之道还治其人之身[N];网络世界;2007年
9 ;防火墙及其他[N];中国高新技术产业导报;2000年
10 清华大学计算机系 陈渝;ACI中的安全问题[N];计算机世界;2001年
中国博士学位论文全文数据库 前10条
1 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
2 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
3 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
4 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
5 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
6 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
7 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
8 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
9 董学文;基于串空间模型安全协议形式化方法的分析与扩展[D];西安电子科技大学;2011年
10 曹春杰;可证明安全的认证及密钥交换协议设计与分析[D];西安电子科技大学;2008年
中国硕士学位论文全文数据库 前10条
1 张旋;基于无线网络的入侵检测系统研究[D];武汉理工大学;2006年
2 施娟;电子商务安全协议探讨[D];西南财经大学;2001年
3 林萍娟;基于有限域上遍历矩阵的安全协议实现研究[D];吉林大学;2006年
4 陈强;安全协议的形式化分析研究[D];清华大学;2005年
5 郭克华;基于第三方计算的移动商务安全协议[D];福州大学;2005年
6 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
7 刘锋;安全协议模型检验技术研究与实现[D];中国人民解放军国防科学技术大学;2002年
8 邓珍荣;基于串空间模型的协议验证技术研究[D];广西大学;2005年
9 樊静淳;基于移动代理系统的安全旅行协议研究[D];山东大学;2005年
10 杭波;新一代Internet网络层安全协议的研究与实现[D];哈尔滨工程大学;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026