《无线传感器网络新鲜性的形式化分析》PDF+DOC
作者:朱伟龙,陈传峰,许家胜
单位:东南大学
出版:《东南大学学报(自然科学版)》2012年第S2期
页数:5页 (PDF与DOC格式可能不同)
PDF编号:PDFDNDX2012S20030
DOC编号:DOCDNDX2012S20039
下载格式:PDF + Word/doc 文字可复制、可编辑
《基于身份的无线传感器网络层簇式密钥管理方案》PDF+DOC2015年第04期 危蓉,赵德正
《传感器网络安全协议的分析和改进》PDF+DOC2011年第05期 闫丽丽,彭代渊,高悦翔
《一种能量均衡的无线传感器网络协议》PDF+DOC 李发飞,彭刚,兰慎
《传感器网络上群组密钥协商协议的设计与实现》PDF+DOC2012年第03期 祝烈煌,刘丹,王飞,刘汉南,詹培星
《基于无线传感器网络的智能照明控制系统》PDF+DOC2012年第07期 刘璐,周靖林
《能量高效的无线传感器网络稳定分簇路由协议》PDF+DOC2012年第05期 田勇,唐祯安
《基于IEEE 802.15.4无线传感器网络的山体滑坡检测系统》PDF+DOC2009年第08期 曹炯清
《安全有效的无线传感器网络匿名通信方案》PDF+DOC2009年第09期 章志明,邓建刚,邹成武,余敏
《基于簇的无线传感器网络密钥管理协议》PDF+DOC2007年第20期 魏楚元,郝莹,吕橙
《基于网格的无线传感器网络非均匀分簇算法》PDF+DOC2013年第15期 韩鹏玮,王庆生,张博
为了更好地解决无线传感器网络的安全与隐私问题,使其具有更广泛的应用领域,提出了一种使用形式化方法 Object-Z分析和验证无线传感器网络安全特性的新方法.该方法分析了一个基于Nonce机制的简单密钥协商协议的新鲜性问题.首先定义了协议使用到的数据类型和辅助函数等组件,然后建立了协议的3个角色模型:发起者、响应者和基站.在此基础上通过实例化角色对象构建了密钥协商协议模型,实现角色之间的相互通信,最后采用形式化逻辑推理的方式对协议通信过程的新鲜性进行验证.结果表明,使用Nonce机制可以保证传输数据的新鲜性,说明该分析方法对无线传感器网络的安全特性的分析是有效的。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。