[论文解读] Exact Analysis of k-Connectivity in Secure Sensor Networks with Unreliable Links

Jun Zhao, Osman Yağan+1 more|arXiv (Cornell University)|Sep 21, 2014

Security in Wireless Sensor Networks参考文献 33被引用 3

一句话总结

本文通过在不可靠的开启/关闭链路下使用Eschenauer–Gligor密钥预分配方案，提供了安全无线传感器网络中$k$-连通性的渐近精确概率。通过将链路建模为独立信道并推导出精确的解析表达式，该研究实现了对网络在遭受$k-1$个节点或链路故障时仍保持连通性的准确设计，填补了在零一律之外的关键空白。

ABSTRACT

The Eschenauer--Gligor (EG) random key predistribution scheme has been widely recognized as a typical approach to secure communications in wireless sensor networks (WSNs). However, there is a lack of precise probability analysis on the reliable connectivity of WSNs under the EG scheme. To address this, we rigorously derive the asymptotically exact probability of $k$-connectivity in WSNs employing the EG scheme with unreliable links represented by independent on/off channels, where $k$-connectivity ensures that the network remains connected despite the failure of any $(k-1)$ sensors or links. Our analytical results are confirmed via numerical experiments, and they provide precise guidelines for the design of secure WSNs that exhibit a desired level of reliability against node and link failures.

研究动机与目标

• 解决在Eschenauer–Gligor（EG）密钥预分配方案下，安全无线传感器网络（WSNs）中$k$-连通性的精确概率分析缺乏的问题。
• 克服零一律的局限性，后者仅能指示$k$-连通性的高概率或高不可能性，而无法量化确切的概率。
• 提供对网络参数如何影响$k$-连通性的完整且解析精确的理解，特别是在存在不可靠链路的情况下。
• 使网络设计者能够实现对抗节点和链路故障的期望可靠性水平，适用于敌对或无人值守的WSN部署。
• 通过确定连通性行为相变宽度，量化$k$-连通性对参数变化的敏感性。

提出的方法

• 将安全WSN建模为随机密钥图$G(n, K_n, P_n)$与Erdős–Rényi随机图$G(n, p_n)$的交集，分别表示密钥共享和不可靠链路。
• 利用高级随机图论推导出在$\frac{K_n^2}{P_n} = \frac{\ln n + (k-1)\ln\ln n + \alpha_n}{n}$且$p_n$为$n$的函数的参数范围内，$k$-连通性的渐近精确概率。
• 当$\lim_{n\to\infty} \alpha_n = \alpha^*$时，建立$k$-连通性极限概率的闭式表达式为$e^{-\frac{e^{-\alpha^*}}{(k-1)!}}$，其中$\alpha^*$为有限常数。
• 利用随机交集图和泊松近似技术工具，分析密钥预分配与链路不可靠性之间的联合影响。
• 通过大量数值实验验证分析结果，证明所推导表达式在不同网络参数下的高精度。
• 将先前的零一律扩展为一规律框架，为所有参数范围内的$k$-连通性概率提供连续且精确的表征。

实验结果

研究问题

• RQ1 在链路不可靠且独立失效的条件下，使用EG方案的安全WSN保持$k$-连通性的精确渐近概率是多少？
• RQ2 该$k$-连通性概率如何随密钥池大小$P_n$、每个节点的密钥数$K_n$以及链路可靠性$p_n$而变化？
• RQ3 是否可以量化$k$-连通性中的相变宽度？$k$-连通性概率对$K_n$、$P_n$或$p_n$的小幅变化有多敏感？
• RQ4 所提出的精确概率表达式在指导可靠且安全的WSN设计方面，相较于现有零一律有何改进？
• RQ5 密钥预分配与随机链路失效之间的相互作用在多大程度上影响大规模WSN中$k$-连通性的鲁棒性？

主要发现

• 当$\lim_{n\to\infty} \alpha_n = \alpha^*$时，网络$k$-连通性的渐近精确概率收敛于$e^{-\frac{e^{-\alpha^*}}{(k-1)!}}$，其中$\alpha_n = \frac{K_n^2}{P_n} \cdot n - \ln n - (k-1)\ln\ln n$。
• 该结果提供了$k$-连通性的连续且精确表征，使设计者能够针对期望的可靠性水平实现精确的网络设计。
• 通过分析$\alpha_n$变化对概率的影响，量化了$k$-连通性相变的宽度，该敏感性现已被解析捕捉。
• 数值实验验证了理论预测，显示在不同$n$、$K_n$、$P_n$和$p_n$取值下，理论与仿真结果高度一致。
• 所推导的表达式将Erdős–Rényi的$k$-连通性结果推广至随机密钥图与随机链路图的交集，建立了两种主要随机图模型之间的新联系。
• 本研究通过首次提供具有不可靠链路的安全WSN中$k$-连通性的渐近精确概率，填补了文献中的关键空白，其在实用性与精确性上均超越了以往的零一律。