16、动态传感器网络与移动商务应用的安全方案探索

动态传感器网络与移动商务应用的安全方案探索

在当今数字化的时代，动态传感器网络和移动商务应用的安全性至关重要。下面将分别介绍动态传感器网络的安全重新加入方案以及移动商务应用的安全建模与验证技术。

动态传感器网络的安全重新加入方案

在动态传感器网络中，节点的移动性给网络的安全性和连接性带来了挑战。为了解决这些问题，提出了一种安全重新加入方案。

1. 协议安全性分析

   • 通过一系列的等式推导，最终得出等式 (5)：
     [
     \begin{align }
     ’ ’ | ‘Kb c B B C &\equiv HJJJJG\
     ’ ‘| | ‘Kb c B C B C &\equiv \equiv HJJJJG\
     ’ | ‘Kb c C B C &\equiv HJJJJG\
     ’ | | ‘Kb c C B B C &\equiv \equiv HJJJJG
     \end{align }
     ]
   • 等式 (5) 表明密钥 Kb’c 在节点 B’和节点 C 之间安全建立，说明重新加入协议通过 BAN 逻辑的形式验证，是安全的。

2. 模拟实验

   • 模拟条件 ：
     • 100 个传感器节点随机部署在 80m×80m 的受限区域。