当前，定位无线传感器网络的主要目的是避免在恶劣环境中产生干扰。于无线传感器网络定位的主要应用需要获得安全的定位结果，因此对无线传感器定位的主要研究集中在正常定位的原理上，而对安全定位的研究则较少。文档首先介绍了多点身份验证协议，并使用形式化方法检查了其远程身份验证协议，然后验证了远程身份验证协议可以位于定位算法中。护SPINE WSN并验证其安全性。点本地化是应用于整个无线传感器网络的支持技术之一（文档WSN [1] [2] [3]）。于节点定位过程容易受到内部和外部攻击的影响，这也归因于WSN节点自身的资源。制因此在受限的WSN中，如何安全地定位和获取正确的位置信息是一个非常复杂的安全性问题。验证遥测协议是基于遥测的遥测协议，它使您不仅可以抵抗各种远程攻击，还可以安全地定位节点。
Brands和Chaum（参考文献[4]）提出了距离的定义。本思想是测量并计算验证者与请求者之间的距离的上限，以防止测量/估计的距离减少；针对性欺骗攻击，例如虫洞攻击。点身份验证协议是一种增强的距离限制协议，它采用一种记录发送和接收时间的策略来减少经过身份验证的个人的实时处理要求。
的伪代码（如图1所示），其中u是要检查的节点（普通节点），v是验证者（标签节点），而tus / tur和tvs / tvr是u和v发出信号的时刻和分别接收信号。点认证协议是基于距离限制协议的虚拟机机制。VM通过结合TOA RF技术使用可验证的遥测协议和三角验证技术来增强测距仪的安全性。6]和距离限制协议[Ref。4]有效抵抗各种减少遥测的攻击。者基于第一个，使用3个控制点的共同约束来防止攻击范围扩大。下来，我们将使用形式语言对象z（参考文献[5]）在建模中进行研究和分析。们假定给定的ITEM是为会话层构建的比特流或字节流。有信息的MSG集是所有可能的消息队列的集合，带有MSG：seq ITEM。此基础上，我们定义了协议中使用的不同类型ITEM数据元素的几个子集，AID代理标识符，KEY密钥，NON：随机数，ENC加密数据，如下图，P ITEM代表ITEM的子代。一起。enc函数指示MSG信息已通过密钥KEY在ENC数据元素中加密。mac功能表示MSG信息通过KEY密钥通过消息身份验证生成了MAC类型的数据项。交功能表示使用单向防冲突哈希MSG将随机数NON转换为COMMIT类型的数据。放功能指示MSG信息使用MSG信息通过反向单向防冲突哈希获得COMMIT类型的数据项。点验证协议的角色模型可以概括为两种类型，如上所述：请求者节点进行检查和验证，使用object-z建模两个角色，每个角色是一个包含以下内容的类对象状态变量和操作。
式要检查的角色包括状态模式，初始状态，GenerateC操作模式和ReceiveMsg操作模式。态模式定义了此角色使用的变量，其中u和v是设备标识符（u代表要检查的节点，v代表验证者），Nu和Nv代表u和v生成的随机数，以及秘密由u和v共享。Kuv键和消息msg，c和d，时间t。始状态msg = 表示不发送消息。GenerateC操作模式对应于图1中的1、2和3，指示验证者向确认者发起距离定义请求。中，符号“！”指示所要求的信息和符号“？”指示请求的信息。作模式ReceiveMsg对应于图1中的数字6和7，这意味着信息已加密并对应于图1中5的接收。
中，变量t和t`表示pre的变量。态和后状态变量，它们代表时间变化。证角色包括状态模式，初始状态，GenerateNv操作模式和计算操作模式。GenerateNv操作模式对应于图1中的4、5，恒温阀芯这意味着响应审核员对验证者的请求。图1中的针对8、9的计算模式Calculate中，指示是否根据结果改变了通信，如果不是，则进行距离计算。色建模完成后，首先建立距离定义协议。协议包括状态模式，初始模式和操作协议。示通过要求这些验证者进行验证来获得验证者之一的距离信息。
状态模式下，要检查的NodeA，要检查的NodeB，NodeA.msg = NodeB.msg表示NodeA和NodeB具有相同的初始化信息，并且可以相互通信。初始化模式下，这意味着NodeA需要知道NodeB ID，并且NodeA和NodeB共享相同的密钥。操作协议定义了距离测量实现之一的整个过程。号“”是Z中的复合运算符。M表示执行可验证遥测协议的过程。证者均发出距离定义请求。
终验证者将接收到的距离信息发送到中心节点，中心节点使用这些距离进行坐标计算，最后获得待定的验证。置信息。线传感器的SPINE安全定位算法的形式验证我们在上一节中介绍了多点验证协议的形式化建模，然后将其应用于无线传感器。于部署大量标签节点的成本昂贵，因此在大型传感器网络中，仅需要部署少量标签节点，并且整个传感器阵列的定位是通过传感器的协调定位来实现的。量的传感器。们可以为NEtworks传感器选择一种称为SPINE（安全位置）的协作定位机制。SPINE基于虚拟机的安全性定位机制。SPINE通过检查至少三个锚定节点的位置来估计未知节点的位置，其他位置的未知节点将升级为锚定节点，作为其他节点的参考节点未知。介绍SPINE算法之前，首先介绍了基本距离检查（BDV）：它使用VM机制设置距离，可以测量duv，也可以测量dvu。
BDV定义u和v之间的距离如下：1）所有可验证三角形集US具有（u，v1，v2），恒温阀芯（u，v1，v4），（u，v3，v4），（u，v2 ，v3）； 2）可以验证u，△（v，v5，v6），△（v，v5，v6）的所有三角形VS的集合; 3）可以同时检查u和v UVS a△的所有三角形集（v4，v5，v6）。于所有US∈VS∪UVS，可以计算dlvu = VM.Distance（u，v）和dluv = VM.Distance（v，u）。此节点上执行Δ和点对三角形测试。于通过测试的位置，它将用作未知节点定位的结果。则，该头寸将被拒绝，即dluv-duv | ＜和δ，可以接受{duv，dvu}的测量结果。SPINE算法的实现过程如下：1）节点测量邻居之间的距离，2）该距离由虚拟机定义，3）实现所有节点之间的相互定位通过分布式算法。义集合VD =，它表示初始为空的置信距离；定义集合NV，其表示所有未验证和初始为空的距离； DB = {所有距离集}。后，对于所有dbi∈DB，如果dbi可以通过BDV验证，则VD =VD∪{dbi}，否则NV =NV∪{dbi}。u和v的定位结果出现，并且VD =VD∪{dbuv}。时，u和v成为验证节点，可以检查其他节点进行检查，并且整个网络可以协同工作，直到定位过程结束。们已经可以定位整个网络，但是如何确保整个定位过程的安全性呢？我们将启动一个简单的分析。下图所示，图a是正常的定位过程，而在图b中，u对v进行范围扩展攻击。时，三个入侵节点隐藏了同一个节点，并对定位发动了攻击，根据虚拟机的算法，该攻击成功并且定位被破坏。此，当#VD> 3（在对象z中，＃表示集合数）时，这意味着至少三个三角形会在一个节点上启动验证以同时进行检查，这可以防止长时间的各种攻击。离，如下图所示。文采用一种形式化的方法来分析无线传感器网络的安全定位，并得出结论，当#VD> 3时，可以保证定位的准确性和安全性。点身份验证协议不仅可以用于无线传感器的安全定位，还可以用于其他网络的安全定位。析无线传感器网络安全定位的正式方法仍然很少，需要进一步研究。
本文转载自
恒温阀芯 https://www.wisdom-thermostats.com