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

安全协议的攻击分类及其安全性评估

卓继亮  李先贤  李建欣  怀进鹏  
【摘要】:对安全协议的安全性进行全面评估是十分重要的,但难度非常大.目前大量的研究工作主要集中于分析开放网络环境下安全协议的一些特定安全属性,例如,秘密性和认证性等.为了更全面地评估安全协议的安全防护能力,从攻击者的能力和攻击后果两个角度,提出一种新的安全协议攻击分类,并分析了不同攻击类型的特点与机理.在此基础上,探讨了安全协议的一种安全性评估框架,有助于更客观地评价安全协议的实际安全防护能力和设计新的协议.

【引证文献】
中国重要会议论文全文数据库 前1条
1 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
中国博士学位论文全文数据库 前2条
1 陶宏才;安全协议结构及其范式研究[D];西南交通大学;2007年
2 滕少华;基于对象监控的分布式协同入侵检测[D];广东工业大学;2008年
中国硕士学位论文全文数据库 前2条
1 滕波;数据包拦截技术在SSL VPN产品中的应用[D];电子科技大学;2007年
2 李静;网络安全认证协议自动分析系统[D];南昌大学;2007年
【参考文献】
中国期刊全文数据库 前2条
1 李先贤,怀进鹏,刘旭东;群密钥分配的动态安全性及其方案[J];计算机学报;2002年04期
2 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
【共引文献】
中国期刊全文数据库 前10条
1 代印唐;张世永;;即时通信安全研究[J];电信科学;2006年04期
2 陶志红,Hans KleineBuing,张世琨,王立福;Dining Cryptographer安全协议及工程分析[J];电子学报;2005年02期
3 卫剑钒,陈钟,段云所,王立福;一种认证协议防御拒绝服务攻击的设计方法[J];电子学报;2005年02期
4 费向东;潘郁;;公钥密码体制下协议设计的安全准则及一种网络审批协议[J];电子政务;2005年22期
5 吴松;何亨;羌卫中;;安全群组通信系统中的密钥分配机制[J];华中科技大学学报(自然科学版);2006年S1期
6 卿斯汉 ,李改成;公平交换协议的一个形式化模型[J];中国科学E辑;2005年02期
7 张煜,张文燚,李先贤,怀进鹏;多自治域协同环境中群组通信的安全访问控制[J];计算机研究与发展;2005年09期
8 石曙东,李之棠;一种新型的电子商务协议及形式化分析[J];计算机工程与应用;2004年36期
9 王英龙,王继志,王美琴,高振明;一种Adhoc网络路由协议安全性分析方法[J];计算机工程与应用;2005年23期
10 李静;肖美华;;网络认证协议攻击的非形式化分析[J];计算机工程与应用;2006年22期
中国博士学位论文全文数据库 前10条
1 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
2 朱建明;无线网络安全方法与技术研究[D];西安电子科技大学;2004年
3 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
4 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
5 王焕宝;安全协议分析的形式化理论与方法[D];合肥工业大学;2006年
6 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
7 华东明;安全协议的形式化方法及其应用的研究[D];中国科学院研究生院(计算技术研究所);2005年
8 余斌霄;无线网络的安全性[D];西安电子科技大学;2006年
9 王文奇;入侵检测与安全防御协同控制研究[D];西北工业大学;2006年
10 李兴华;无线网络中认证及密钥协商协议的研究[D];西安电子科技大学;2006年
中国硕士学位论文全文数据库 前10条
1 陈铁明;复杂安全协议的形式化分析、设计与验证研究[D];浙江工业大学;2004年
2 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
3 王昌晶;信息安全若干关键技术的研究与应用[D];江西师范大学;2004年
4 李艳平;不可否认协议及其应用的研究[D];陕西师范大学;2004年
5 刘明;iPMX下TCP的设计与安全实现[D];南京理工大学;2004年
6 彭红艳;电子邮件抗抵赖的研究与实现[D];广西师范大学;2004年
7 刘学锋;安全协议形式化分析及其应用[D];湘潭大学;2004年
8 席国宝;组播密钥管理方案的研究[D];浙江大学;2005年
9 李晓阳;分布式系统中RBAC的设计与实现[D];中国科学院研究生院(软件研究所);2005年
10 魏楚元;安全群组通信中分布式密钥管理协议的研究[D];广西大学;2005年
【同被引文献】
中国期刊全文数据库 前10条
1 张利华,吕善伟;一种远程身份认证方案的分析与改进[J];北京航空航天大学学报;2005年10期
2 李雄伟;于明;杨义先;周希元;;Fuzzy-AHP法在网络攻击效果评估中的应用[J];北京邮电大学学报;2006年01期
3 李方伟,李维科;一种基于ElGamal体制的盲签名方案[J];重庆邮电学院学报(自然科学版);2004年06期
4 胡成军,郑援,吕述望,沈昌祥;安全协议的形式化规范[J];电子与信息学报;2004年04期
5 陈健;几种常用数据加密算法的比较[J];福建商业高等专科学校学报;2003年05期
6 张义荣,鲜明,赵志超,肖顺平,王国玉;计算机网络攻击效果评估技术研究[J];国防科技大学学报;2002年05期
7 沈全洪,徐端颐,齐国生,张启程,胡恒,宋洁;高密度蓝光存储及其扩展技术[J];光学技术;2005年06期
8 卿斯汉 ,李改成;公平交换协议的一个形式化模型[J];中国科学E辑;2005年02期
9 王晓程,刘恩德,谢小权;攻击分类研究与分布式网络入侵检测系统[J];计算机研究与发展;2001年06期
10 周宏斌,黄连生,桑田;基于串空间的安全协议形式化验证模型及算法[J];计算机研究与发展;2003年02期
中国博士学位论文全文数据库 前10条
1 田建波;认证协议的分析设计[D];西安电子科技大学;1998年
2 郑东;密码协议的逻辑分析与设计[D];西安电子科技大学;1999年
3 王贵林;门限签名方案和认证协议的设计与分析[D];中国科学院软件研究所;2001年
4 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
5 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
6 罗光春;入侵检测若干关键技术与DDoS攻击研究[D];电子科技大学;2003年
7 吴克力;数字签名理论与算法研究[D];南京理工大学;2005年
8 刘培顺;判决PN机理论及其在入侵检测中的应用[D];西南交通大学;2005年
9 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
10 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
中国硕士学位论文全文数据库 前7条
1 李效锋;符合CIDF标准的入侵检测系统[D];浙江大学;2002年
2 杨莘;分布式协作入侵检测系统的报警信息管理[D];中国科学院研究生院(软件研究所);2003年
3 刘秀英;计算机通信网安全协议形式化分析研究[D];西安电子科技大学;2004年
4 郎良;网络攻击分类描述与典型攻击对策研究[D];西安电子科技大学;2004年
5 莫燕;网络安全协议模型检测技术研究与应用[D];西安电子科技大学;2005年
6 袁霖;基于Spi演算的密码协议自动化分析技术研究[D];中国人民解放军信息工程大学;2005年
7 陈强;安全协议的形式化分析研究[D];清华大学;2005年
【二级参考文献】
中国期刊全文数据库 前2条
1 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期
2 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
【相似文献】
中国期刊全文数据库 前10条
1 张慧;赵有健;;安全协议中防御拒绝服务攻击的请求成功率保证算法[J];小型微型计算机系统;2011年06期
2 杨元原;马文平;刘维博;白晓峰;;一种可检测类型缺陷攻击的SAT改进模型[J];沈阳工业大学学报;2011年04期
3 赵书峰;黄刘生;;计算两相交圆精确面积的安全协议[J];微电子学与计算机;2011年07期
4 梁静宇;郭建明;;SSL VPN和IPSec VPN企业应用分析[J];科学之友;2011年11期
5 陈晓红;;EAP软件认证性能分析[J];煤炭技术;2011年08期
6 田小梅;胡灿;;基于IPv6的IPsec VPN技术与应用[J];电脑开发与应用;2011年08期
7 李仲阳;刘金平;李婷婷;;基于密钥的RFID双向认证安全协议[J];计算机安全;2011年07期
8 凌征强;;构建高校图书馆远程访问系统(一)[J];中国教育网络;2011年07期
9 陈兰香;;一种基于会话的安全Web文件服务模型[J];计算机工程;2011年18期
10 张亚航;庞波;程博文;;一种改进的适用于空间网络的密钥交互协议[J];航天器工程;2011年04期
中国重要会议论文全文数据库 前10条
1 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
2 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
3 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
4 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
5 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
6 康松;王勋华;;门卫安全协议 一种简单的适用于公共数据网的安全协议[A];第十一届全国计算机安全技术交流会论文集[C];1996年
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];西南交通大学;2007年
8 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
9 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
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