基于SAT的安全协议惰性形式化分析方法
本文关键词:基于SAT的安全协议惰性形式化分析方法
更多相关文章: 安全协议 形式化分析 布尔可满足性 惰性分析 类型缺陷攻击
【摘要】:提出了一种基于布尔可满足性问题的安全协议形式化分析方法 SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性的检测效率。另一方面,通过在消息类型上定义偏序关系,SAT-LMC能够检测出更丰富的类型缺陷攻击。基于此方法实现了一个安全协议分析工具,针对Otway-Rees协议检测出了一种类型缺陷攻击;针对OAuth2.0协议,检测结果显示对现实中存在的一些应用场景,存在一种利用授权码截取的中间人攻击。
【作者单位】: 解放军信息工程大学网络空间安全学院;数学工程与先进计算国家重点实验室;
【基金】:河南省科技创新杰出青年基金资助项目(134100510002) 河南省基础与前沿技术研究基金资助项目(142300410002) 数学工程与先进计算国家重点实验室开放基金资助项目~~
【分类号】:TP393.08
【正文快照】: 1引言随着计算机网络技术的飞速发展,网络信息安全问题越来越受到人们的重视。网络安全协议采用密码技术实现通信和数据安全,在整个网络安全保障体系中具有举足轻重的作用。随着协议的流程步骤和网络环境的日益复杂,安全协议的安全性分析评估具有非常重要的意义和价值。近年来
【相似文献】
中国期刊全文数据库 前10条
1 卜奎昊;;安全协议形式化分析方法的融合性研究[J];西北师范大学学报(自然科学版);2010年05期
2 卿斯汉;一种电子商务协议形式化分析方法[J];软件学报;2005年10期
3 韩继红;郭渊博;王亚弟;;安全协议形式化分析方法[J];信息工程大学学报;2008年03期
4 王昕;袁超伟;;一种安全协议的形式化分析方法[J];计算机工程;2010年07期
5 辛思远;赵勇;王婷;;动态远程证明协议及其形式化分析[J];计算机工程与设计;2012年08期
6 谭新莲;李磊;;安全电子商务协议的形式化分析[J];数学爱好者(教育学术);2008年02期
7 赵华伟;李大兴;;加入时间因素的Needham-Schorder协议及其形式化分析[J];计算机工程与应用;2005年36期
8 徐梦茗;肖聪;李斌;杜彪;;安全协议形式化分析的研究和实现[J];信息安全与通信保密;2008年08期
9 崔楠;;电子邮件协议的非否认性形式化分析[J];计算机与信息技术;2009年05期
10 陈晨;陈卫红;闫振天;祝跃飞;;基于项重写的形式化排序方法及应用[J];通信学报;2011年03期
中国重要会议论文全文数据库 前9条
1 文静华;张梅;张焕国;;电子支付协议的博弈逻辑模型与形式化分析[A];2007年全国开放式分布与并行计算机学术会议论文集(上册)[C];2007年
2 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
3 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年
4 崔楠;汪学明;;基于SVO逻辑的电子商务协议非否认性形式化分析[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
5 张梅;文静华;张焕国;;基于ATL的电子商务协议建模与形式化分析[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
6 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
7 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
8 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
9 刘忠;王成道;;基于汉语语意形式系统的符号化研究[A];第六届全国计算机应用联合学术会议论文集[C];2002年
中国博士学位论文全文数据库 前10条
1 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
2 张帆;无线网络安全协议的形式化分析方法[D];西安电子科技大学;2007年
3 陈俊清;可信普适服务的形式化分析与验证[D];上海交通大学;2012年
4 汪学明;多方安全协议的形式化分析方法研究与应用[D];贵州大学;2008年
5 杨超;无线网络协议的形式化分析与设计[D];西安电子科技大学;2008年
6 鲁来凤;安全协议形式化分析理论与应用研究[D];西安电子科技大学;2012年
7 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
8 何安平;基于层次模型的混合系统形式化分析与验证[D];兰州大学;2011年
9 李云峰;电子商务协议安全性的形式化分析方法研究[D];西南交通大学;2009年
10 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
中国硕士学位论文全文数据库 前10条
1 王洁;公平不可否认协议设计及其形式化分析[D];重庆大学;2008年
2 成敏盈;电力系统安全协议形式化分析技术研究[D];广东工业大学;2008年
3 李轶,
本文编号:1185265
本文链接:https://www.wllwen.com/guanlilunwen/ydhl/1185265.html