《基于SPIN的无线传感器网络安全协议建模与分析》PDF+DOC
作者:敬超,常亮,古天龙
单位:重庆西南信息有限公司
出版:《计算机科学》2009年第10期
页数:5页 (PDF与DOC格式可能不同)
PDF编号:PDFJSJA2009100360
DOC编号:DOCJSJA2009100369
下载格式:PDF + Word/doc 文字可复制、可编辑
《传感器网络安全协议的分析和改进》PDF+DOC2011年第05期 闫丽丽,彭代渊,高悦翔
《SPINS安全框架协议研究》PDF+DOC2006年第08期 程宏兵,王江涛,杨庚
《基于无线传感器网络的地震监测系统设计》PDF+DOC2011年第07期 吕晶晶,刘国鹏,姚金杰
《无线传感器网络在大尺寸测量中的应用》PDF+DOC2010年第10期 杨钊,杨学友,杨凌辉,邾继贵,刘常杰
《WSN安全协议SPINS的研究与改进》PDF+DOC2010年第06期 张巧静,杨宇航
《无线传感器网络故障研究现状》PDF+DOC2009年第12期 李天鹏,张云桥,王海明
《无线传感器网络SPINS安全协议分析与改进》PDF+DOC2007年第01期 彭志娟,王汝传,孙力娟
《无线网络化传感器技术研究》PDF+DOC2006年第02期 韩红燕
《无线传感器网络安全协议的研究分析》PDF+DOC2006年第03期 符开耀,朱建军,王志喜
《基于动态路由的SPIN路由协议改进》PDF+DOC2014年第12期 冯立波,李全,张梅,罗桂兰
模型检验方法在有线网安全协议的分析和设计方面取得了巨大成功。无线传感器网络对安全协议同样具有严格的要求;与有线网相比,无线传感器网络在通信环境和网络节点等方面都更为脆弱,为相应的安全协议的分析和设计提出了挑战。提出了一种适用于无线传感器网络的安全协议形式化建模分析方法。它充分借鉴了传统有线网络安全协议的建模方法,在其基础上充分考察了无线传感器网络的通信环境以及网络节点,建立起一个全面并且直观的安全协议运行模型。以A.Perrig等人提出的SPINS安全协议为例,应用模型检验工具SPIN对其认证性和机密性等安全需求进行了分析验证,发现了该协议存在的漏洞。实例分析证实了模型检验方法在分析无线传感器网络安全协议时的有效性,从而推进了其在安全协议分析方面的应用范围。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。