收藏本站
《计算机安全》 2010年08期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

OLSR协议的AVISPA分析研究

林春平  
【摘要】:协议的安全目标分为认证性、非否认性、可追究性、公平性四种,其中,认证性应用最为广泛和重要,是网络安全性的基础。分析了先应式链路状态路由协议OLSR及其安性,并采用AVISPA工具对OLSR协议的既定目标进行分析验证,验证结果表明,该设计是安全的。
【作者单位】福建工程学院;
【分类号】:TP393.08

手机知网App
【共引文献】
中国硕士学位论文全文数据库 前3条
1 刘吉锋;一个新的基于SAT方法的安全协议模型检测算法[D];吉林大学;2007年
2 赵宇;基于规划的密码协议自动化验证技术研究[D];解放军信息工程大学;2007年
3 林春平;基于身份签名的安全OLSR协议研究[D];武汉理工大学;2008年
【同被引文献】
中国硕士学位论文全文数据库 前1条
1 王巧丽;SPIN模型检测的研究与应用[D];贵州大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 王秋艳;朱民;;网上银行的安全性分析与研究[J];软件导刊;2011年08期
2 赵健;;浅析计算机网络系统的安全[J];青春岁月;2011年12期
3 胡健;;以信息安全控制原理为基础的安全网络技术[J];才智;2011年23期
4 姜斌;;论高校网络安全[J];现代商贸工业;2011年11期
5 杨萍基;周苏婷;;浅析网上支付不安全因素及防范措施[J];沿海企业与科技;2011年07期
6 郑泽敏;;计算机域管理在局域网网络安全中的应用[J];信息与电脑(理论版);2011年06期
7 刘娜;;浅谈计算机网络安全及建设[J];信息与电脑(理论版);2011年06期
8 姜秋红;;浅谈增强中职校园局域网信息安全性的解决方法[J];中等职业教育;2011年10期
9 李军;;浅谈网络环境下的信息安全[J];新疆广播电视大学学报;2011年02期
10 白俊;;数据库安全技术相关问题探析[J];硅谷;2011年15期
中国重要会议论文全文数据库 前10条
1 王乐;;新时期我国电子商务安全技术问题探讨[A];三门峡市第四届自然科学论文集(2002-2004)[C];2004年
2 林细妹;;检察系统局域网安全及保障措施[A];全国计算机安全学术交流会论文集(第二十二卷)[C];2007年
3 虞承宜;袁林;;一种基于安全性模块概念的安全协议实施方案[A];第二次计算机安全技术交流会论文集[C];1987年
4 李志勇;陶然;陈兢;刘锋;;一种增强电子邮件服务安全性的简易方法——邮件访问清单[A];全国网络与信息安全技术研讨会'2005论文集(上册)[C];2005年
5 吴武飞;马超;;基于校园网络的数字广播系统设计[A];第十九届测控、计量、仪器仪表学术年会(MCMI'2009)论文集[C];2009年
6 李明;;地市级气象局域网分段管理安全技术的应用[A];2006年湖北省气象学会学术年会暨湖北省第一届防雷论坛学术论文详细文摘汇集[C];2006年
7 王婷;;邮政信息网络安全防范策略[A];海南省通信学会学术年会论文集(2008)[C];2008年
8 石文昌;;安全隔离与信息交换的矛盾与统一[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
9 秦岭;袁鹏;张操;方克奇;;贵州金元集团本部网络安全建设[A];贵州省电机工程学会2010年优秀论文集[C];2010年
10 李嵩;;第三方安全在线支付协议设计与分析[A];2006中国西部青年通信学术会议论文集[C];2006年
中国重要报纸全文数据库 前10条
1 本报记者 宋丽娜;增强SSL VPN的安全性[N];网络世界;2003年
2 小义;灵活性和安全性有机结合[N];中国计算机报;2001年
3 ;从CPU的安全性下手[N];网络世界;2004年
4 ;谁动了我的WLAN[N];中国电脑教育报;2004年
5 上海 夏翔;DBA如何提高SQL Server安全性[N];电脑报;2004年
6 ;Red Hat Enterprise Linux 4.0 强健功能与安全性[N];网络世界;2005年
7 ;评估IP电话的安全性[N];网络世界;2004年
8 ;增强IIS安全性的四个简单措施[N];江苏科技报;2008年
9 胡英;保障电子交易安全性[N];计算机世界;2003年
10 ;D-Link DI-2650 良好的扩展性和安全性[N];计算机世界;2003年
中国博士学位论文全文数据库 前10条
1 王超;可生存网络系统的理论与关键技术研究[D];西安电子科技大学;2006年
2 庞永刚;基于事件注入技术的网络可信性评测研究[D];哈尔滨工程大学;2007年
3 左翠华;非结构化对等网络的有效性和安全性研究[D];华中科技大学;2009年
4 纪雯;对等环境下信誉机制的若干关键问题研究[D];中国科学技术大学;2009年
5 谢立峰;基于网络处理器的网络服务质量和网络安全研究[D];浙江大学;2004年
6 张大江;基于Web的Intranet服务管理及访问控制的研究[D];中国科学院研究生院(计算技术研究所);2000年
7 李杰;基于服务质量的Web服务模型及应用研究[D];中国科学院研究生院(计算技术研究所);2005年
8 张鹏;关于多方安全协议的研究[D];浙江大学;2006年
9 陈波;基于信息流分析的安全系统验证[D];中国科学技术大学;2007年
10 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
中国硕士学位论文全文数据库 前10条
1 杭小勇;网格资源的安全主动发布机制[D];天津大学;2005年
2 李智勇;移动电子商务安全研究与设计[D];西南交通大学;2006年
3 李海涛;媒体分发系统中信任模型的设计与实现[D];解放军信息工程大学;2007年
4 赵艳;基于时序Petri网的Web服务组合建模与质量分析[D];安徽理工大学;2009年
5 王洪玉;无线Mesh网中OLSR协议入侵检测技术研究[D];解放军信息工程大学;2011年
6 刘雁;基于安全Web Services的统一身份认证服务的设计与实现[D];中国海洋大学;2009年
7 刘峻峰;MPLS VPN的原理及其应用[D];西南石油学院;2005年
8 童开峰;移动电子政务架构安全性及其数据同步研究[D];东华大学;2006年
9 陈开兵;电子选举协议的研究与应用[D];合肥工业大学;2006年
10 门涛;P2P网络信誉评价体系的设计[D];电子科技大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026