《WSN安全通信的形式化验证》PDF+DOC

📙 相关资料

1. 《无线传感器网络(WSN)安全综述》PDF+DOC 无线传感器网络是自动化、通信工程和计算机科学技术学科中的一个新的研究领域，是一项应用于监视和侦察的技术，具有广阔的应用前景。随着传感器网络在各个领域地不断应用，其安全问题日益突出。但是在迄今的无线传感器网络研究和发展过程中，对其安全问题考虑较少。本文在介绍传感器网络有关知识的基础上，研究了传感器网络......
2. 《无线传感器网络新鲜性的形式化分析》PDF+DOC 为了更好地解决无线传感器网络的安全与隐私问题，使其具有更广泛的应用领域，提出了一种使用形式化方法 Object-Z分析和验证无线传感器网络安全特性的新方法.该方法分析了一个基于Nonce机制的简单密钥协商协议的新鲜性问题.首先定义了协议使用到的数据类型和辅助函数等组件，然后建立了协议的3个角色模型：......
3. 《基于双线性对的WSN密钥协商和认证协议》PDF+DOC 无线传感器网络(WSN)节点在电源、计算能力和内存容量等方面存在局限性，且面临的安全威胁更复杂。为此，提出一种适用于类LEACH路由的WSN密钥协商和认证协议。通过引入当前轮数，实现节点间的双向身份认证，以抵御选择性转发、Sybil和Hello泛洪等常见攻击。利用ID和双线性对原理生成节点间的动态会......
4. 《WSN多项式密钥预分配协议的设计实现》PDF+DOC 在无线传感器网络中，网络安全通信已逐步得到网络构架人员和研究人员的重视，密钥分配协议对于无线传感器网络的安全传输起着基础性作用。由于传感器网络大规模、节点资源非常受限、分布式等特点，传统的基于公钥和可信任的密钥分配中心等方式已不再实用，当前主要的传感器密钥分配协议都可认为属于预分配密钥管理协议。文中......
5. 《基于L-π演算的WSN路由协议形式化方法》PDF+DOC 针对无线传感器网络路由协议形式化描述与验证的问题，提出了一种形式化方法 L-π演算。定义了L-π演算的语法，形式化描述无线传感器节点的广播与单播的通信行为。定义了相应的结构同余，描述了节点表达式的非顺序性。定义了相应的迁移规则，提供了路由协议形式化模型的动态推演功能。通过对无线传感器网络簇头选择协议......
6. 《区间数学优化的WSN汇聚节点选址算法的研究》PDF+DOC 针对无线传感器网络(Wireless Sensor Network，WSN)汇聚节点部署问题，提出一种新的选址算法。首先采用分裂法降低区间数学的超宽度问题，然后利用单调性测试、选择策略确定包含最优解的子区间集，最后结合粒子群算法，加快全局寻找最优解的速度，同时采用CCLO算法动态调度节点实现能量均衡......
7. 《WSN中基于不同跳距修正的改进DV-HOP定位算法》PDF+DOC 介绍了无线传感器网络DV-HOP算法的定位原理以及不足，提出的改进算法在原算法的定位阶段，采用接收不同跳距的方式，提出了一个修正因子；在位置估计阶段定义了一个加权矩阵，采用加权最小二乘法进行位置坐标的计算。仿真结果显示，本文提出的算法较已有改进算法总体定位精度提高了约5%，较原算法提高了约10%。...
8. 《基于非均匀分簇的能耗高效WSN路由协议》PDF+DOC 本文提出了能耗高效的非均匀分簇路由协议(EERP).核心为由远及近依次求取各层成簇半径值，使得靠近sink节点的成簇半径小于远离sink节点的成簇半径；以节点剩余能量和相对距离为每个节点确定簇首竞争能力；簇间采用动态路由；依据接收比特值和簇首节点剩余能量发起簇重构.在Omnet++仿真平台下模拟实验......
9. 《WSN中节点发射距离自适应调整算法研究》PDF+DOC 在分析传感器节点的数据特征和能耗特征的基础上，针对现有的DTA算法存在的问题，分别以相邻层传感器节点能耗差值的绝对值之和与能耗方差作为优化目标，提出了两种改进的传感器节点发射距离自适应调整算法，以避免WSN中能量空洞现象。通过仿真表明，改进算法更加合理，与DTA算法相比，改进算法1使网络寿命延长了4......
10. 《WSN中一种用于频谱检测的节点选择与路由算法》PDF+DOC 针对无线传感器网络中的频谱检测问题，首先采用基于能量的检测器获取各个传感器节点的信息数据，然后提出一种用于频谱检测的节点选择和路由算法。该算法在给定的能量约束下迭代选择最优的传感器节点集合形成一颗能量有效的路由树。在路由树中。各个母结点通过对数似然比对各子结点的信息进行融合后发往查询结点，由查询节点......