收藏本站
《湖南科技学院学报》 2011年08期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于SVO逻辑的SNMP协议的改进及形式化分析

周鹏  林华  
【摘要】:SNMP协议是常用的网络管理协议,文章首先对该协议进行了抽象,以方便构建逻辑语句,并对抽象后的协议进行分析,找到该协议存在的缺陷。针对缺陷做了改进,再利用SVO逻辑对改进后的协议进行分析,验证了改进的有效性,并通过网络抓包的方式证实了这一结论。
【作者单位】湖南科技学院计算机与通信工程系;
【分类号】:TP393.04

手机知网App
【参考文献】
中国期刊全文数据库 前1条
1 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
【共引文献】
中国期刊全文数据库 前10条
1 李月寒;郑议天;;信息安全关键技术演示系统的设计与实现[J];合肥师范学院学报;2008年06期
2 俞正方;;电信IP承载网安全防御[J];信息安全与技术;2010年08期
3 王淑萍;付金荣;;计算机网络信息安全面临的问题和对策[J];信息安全与技术;2011年11期
4 于素梅;;浅谈集团公司应用系统的安全管理[J];信息安全与技术;2011年Z1期
5 刘金霞;;计算机网络信息安全面临的问题和对策[J];信息安全与技术;2012年02期
6 李萌;;数字化背景下的网络信息安全管理问题研究[J];信息安全与技术;2012年04期
7 李长春;;无线局域网入侵检测技术研究[J];白城师范学院学报;2012年03期
8 王凯;高阳阳;秦雅娟;;分离机制下一种互联网安全接入方法[J];北京交通大学学报;2011年02期
9 赵晓峰;赵正旭;周以齐;杨超英;;设备操作控制过程模型及其仿真环境的规范化研究[J];北京工业大学学报;2012年03期
10 王秦;孙中月;;基于一次性口令和椭圆曲线密码体制的移动商务身份认证协议设计与研究[J];北京联合大学学报(自然科学版);2009年04期
中国重要会议论文全文数据库 前10条
1 赵晓玮;;证券网络的安全组网方案[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
2 张兆心;方滨兴;张宏莉;;基于BAN逻辑的SIP网络中认证协议安全性分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
3 胡远锋;;数字签名原理浅析及其在网上银行的应用[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
4 李陶深;严毅;曾亮;黄国石;蔡世平;黄顶源;;一个内网安全监控系统的设计与实现[A];广西计算机学会2006年年会论文集[C];2006年
5 孙栋栋;王玉斌;马争先;张净;;基于NS2的队列管理机制RED的研究及仿真[A];广西计算机学会2010年学术年会论文集[C];2010年
6 邵梅;王玉斌;马争先;钟艳如;;Ad hoc网络AODV协议的形式化分析与仿真[A];广西计算机学会2010年学术年会论文集[C];2010年
7 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年
8 王远敏;汪学明;;一种改进的含离线可信第三方多方不可否认协议[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
9 刘松;赵东明;周清雷;;基于FIDXP的分布式入侵防御系统的设计[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
10 郭甜滋;毛楠;司志刚;陈丽;;Kerberos协议在单点登录中的改进及应用[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 舒挺;EFSM模型协议一致性测试序列自动生成研究[D];浙江大学;2010年
2 傅建庆;面向3G-WLAN互联网络的安全协议研究[D];浙江大学;2010年
3 赵晓峰;虚拟制造环境的信息规范及其Z描述研究[D];山东大学;2010年
4 张冬芳;3G网络的身份认证与内容安全关键技术研究[D];北京邮电大学;2010年
5 杨力;无线网络可信认证技术研究[D];西安电子科技大学;2010年
6 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年
7 姜奇;异构无线网络匿名漫游研究[D];西安电子科技大学;2011年
8 周志勇;密码协议攻击规划理论及算法研究[D];解放军信息工程大学;2009年
9 李向东;公平交换协议的形式化分析与设计[D];解放军信息工程大学;2009年
10 王惠斌;安全认证协议的设计与分析[D];解放军信息工程大学;2010年
中国硕士学位论文全文数据库 前10条
1 马玉萍;高校校园网络安全管理与维护系统的研究与实现[D];长春理工大学;2010年
2 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
3 王悦;网络安全监控系统的研究与实现[D];中国海洋大学;2009年
4 丁士杰;基于SSL的电子商务安全技术研究[D];合肥工业大学;2010年
5 余磊;基于串空间模型的安全协议分析方法研究[D];淮北师范大学;2010年
6 程莹;网络安全协议的模型检测分析及验证系统[D];南昌大学;2010年
7 詹慧;基于FeaVer的Kerberos形式化验证和改进[D];华东理工大学;2011年
8 刘云;数字家庭无线射频协议的形式化分析与研究[D];华东理工大学;2011年
9 苏曼;基于Petri网的数字家庭无线抄表建模与分析[D];华东理工大学;2011年
10 李长军;企业级复合式数据保护系统关键技术的研究[D];电子科技大学;2010年
【二级参考文献】
中国期刊全文数据库 前5条
1 周典萃,卿斯汉,周展飞;Kailar逻辑的缺陷[J];软件学报;1999年12期
2 卿斯汉;一种新型的非否认协议[J];软件学报;2000年10期
3 王贵林,卿斯汉,周展飞;认证协议的一些新攻击方法[J];软件学报;2001年06期
4 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期
5 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
【相似文献】
中国期刊全文数据库 前10条
1 范红,冯登国;一个非否认协议ZG的形式化分析[J];电子学报;2005年01期
2 黎波涛,罗军舟;不可否认协议形式化分析的SVO逻辑方法[J];东南大学学报(自然科学版);2005年05期
3 张虹;;非否认协议中认证保密性的设计与形式化分析[J];计算机科学;2008年10期
4 陈丹伟;黄秀丽;孙国梓;;基于SVO逻辑的云服务安全形式化分析[J];小型微型计算机系统;2010年12期
5 黎波涛;罗军舟;;不可否认协议时限性的形式化分析[J];软件学报;2006年07期
6 周鹏;杨世平;时翠梅;;基于SVO逻辑的3G AKA协议形式化分析[J];电脑知识与技术;2008年S2期
7 彭红艳;李肖坚;夏春和;邓剑锋;周小发;;一种面向电子邮件的不可否认协议及其形式化分析[J];计算机研究与发展;2006年11期
8 范红,冯登国,邹良惠;安全协议形式化分析方法综述之一:基于推理结构性方法[J];网络安全技术与应用;2003年05期
9 王江平;计算机网络管理系统及应用[J];南京晓庄学院学报;2002年04期
10 阳建华;CMIP/SNMP协议适配技术在网络管理中的应用[J];现代有线传输;2002年01期
中国重要会议论文全文数据库 前10条
1 仇细平;缪祥华;杨晓婕;;Otway-Rees认证协议的分析与改进[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
2 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
3 范锐;刘小辉;;企业实体构件动态演化模型[A];2009中国控制与决策会议论文集(3)[C];2009年
4 刘卫红;;基于SNMP协议的光收发器集中网管系统[A];科技、工程与经济社会协调发展——河南省第四届青年学术年会论文集(上册)[C];2004年
5 文静华;张梅;张焕国;;电子支付协议的博弈逻辑模型与形式化分析[A];2007年全国开放式分布与并行计算机学术会议论文集(上册)[C];2007年
6 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
7 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
8 张梅;文静华;张焕国;;基于ATL的电子商务协议建模与形式化分析[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
9 高琪;王祖林;;基于Petri网的SNMP建模与形式化分析[A];第一届中国高校通信类院系学术研讨会论文集[C];2007年
10 刘智;;基于Linux的Mrtg校园网流量监测系统的应用研究[A];广西计算机学会2009年年会论文集[C];2009年
中国重要报纸全文数据库 前10条
1 中国人寿保险公司河南分公司 冯汇波;基于SNMP协议的网络管理系统[N];网络世界;2002年
2 星雨;从通用走向实用[N];中国计算机报;2004年
3 ;网管标准缺乏统一[N];中国计算机报;2005年
4 刘坤峰;建立校园网流量统计系统(上)[N];中国电脑教育报;2003年
5 李信;SNMP在3G网络中的应用[N];计算机世界;2002年
6 王磊;给传统网管加点安全[N];中国计算机报;2003年
7 softer;流量监控全攻略(上)[N];电脑报;2005年
8 小小;巧设软件协议解决ADSL多机上网[N];中国计算机报;2004年
9 北京 阮征;配置一定要小心[N];电脑报;2005年
10 烽火网络 胡守非 陈强;双环组网海南铁通省级干线建设方案[N];通信产业报;2004年
中国博士学位论文全文数据库 前10条
1 汪学明;多方安全协议的形式化分析方法研究与应用[D];贵州大学;2008年
2 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
3 陈俊清;可信普适服务的形式化分析与验证[D];上海交通大学;2012年
4 王贵林;门限签名方案和认证协议的设计与分析[D];中国科学院软件研究所;2001年
5 鲁来凤;安全协议形式化分析理论与应用研究[D];西安电子科技大学;2012年
6 王全来;密码协议的形式化分析方法研究[D];解放军信息工程大学;2009年
7 何安平;基于层次模型的混合系统形式化分析与验证[D];兰州大学;2011年
8 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
9 杨世平;安全协议及其BAN逻辑分析研究[D];贵州大学;2007年
10 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
中国硕士学位论文全文数据库 前10条
1 党继胜;基于SVO逻辑的电子商务协议形式化分析与研究[D];贵州大学;2007年
2 丛士佺;网络化制造平台的两种认证协议及安全性分析[D];吉林大学;2006年
3 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
4 刘霞;移动电子商务协议的模型检验分析与设计研究[D];桂林电子科技大学;2006年
5 范钰丹;密码协议非否认性和公平性验证技术研究[D];解放军信息工程大学;2007年
6 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
7 李晨;关于密码协议的形式化分析方法的研究[D];电子科技大学;2010年
8 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年
9 李志新;基于串空间理论的电子商务协议安全性研究[D];大连理工大学;2008年
10 李仓元;移动Ad Hoc网络安全协议的形式化分析研究与应用[D];合肥工业大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026