基于签密的密钥协商方案在FANETs中实现安全与效率及位置隐私

《Applied System Innovation》：Achieving Security and Efficiency with a Signcryption-Based Key Agreement Scheme and Location Privacy in FANETs

　　

飞行自组网（FANETs）由高度移动的无人机（UAVs）组成，越来越多地用于关键任务应用。然而，开放的无线媒介、高移动性和UAV的资源限制使FANETs面临严重的安全和隐私威胁，特别是在媒体访问控制（MAC）层。现有的认证和密钥协商方案通常遭受高计算开销和对高级攻击的保护不足。为了解决这些挑战，本研究提出了一种基于签密的轻量级密钥协商方案（LWKAS），使用超椭圆曲线密码（HECC）和单向密码哈希函数。所提出的方案集成了MAC层安全，同时通过中国剩余定理（CRT）确保安全认证、机密性和位置隐私。安全分析表明，LWKAS抵抗多种攻击，包括中间人（MITM）、重放、冒充、临时秘密泄露（ESL）、克隆、失同步和拒绝服务（DoS）攻击。所提出的方案在NS-3中实现，并与现有最先进的方法在认证延迟、通信开销和计算成本方面进行评估。结果表明，LWKAS实现了显著更低的计算复杂度和通信开销，同时为资源受限的FANET环境提供了更强的安全保证。

飞行自组网（FANETs）由高度移动的无人机（UAVs）组成，广泛应用于关键任务场景，如海岸防护、灾害救援和空中摄影。然而，开放的无线信道、三维空间中的高移动性以及UAV的能源和计算限制，使网络面临严重的安全和隐私问题，尤其在媒体访问控制（MAC）层。现有的认证和密钥协商方案多集中于高层协议，常依赖高开销的密码原语（如双线性对），且未同时解决MAC层漏洞、临时秘密泄露（ESL）、失同步攻击和位置隐私保护。为此，研究人员设计并评估了一种基于签密的轻量级密钥协商方案（LWKAS），旨在实现安全性、隐私性和效率的平衡。该方案采用基于超椭圆曲线密码（HECC）的签密机制，结合两个单向哈希函数，并在MAC层嵌入认证消息，以增强广播信道的完整性。位置隐私通过中国剩余定理（CRT）实现，确保无人机坐标（纬度、经度和高度）在协议执行期间得到保护。研究人员通过形式化安全证明（Real-or-Random模型）和非正式分析，验证了方案对多种攻击的抵抗能力，包括中间人攻击、重放、冒充、ESL、恶意定位、克隆、失同步和拒绝服务（DoS）攻击。性能评估在NS-3模拟器中进行，与现有方法（如Shen等、Khan等、Din等和Aithekar等）比较，结果显示LWKAS在认证延迟、通信开销和计算成本方面均显著降低，尤其采用80位HECC密钥而非160位ECC密钥，使总计算成本仅为1.90毫秒，通信开销仅为240位，同时提供更全面的安全保证。该研究填补了FANETs中MAC层安全、位置隐私和高效密钥协商的空白，为资源受限的无人机网络提供了实用解决方案，并支持未来通过增加参数规模来提升安全强度。
论文主体部分解读如下：
研究背景与问题：FANETs依赖UAVs的协作通信，但开放信道和节点资源限制导致安全威胁，如窃听、伪造和位置追踪。现有方案要么计算开销高，要么缺乏针对MAC层的保护，且未综合处理位置隐私和多种攻击。
研究内容：研究人员提出LWKAS，一个基于证书的签密协议，利用HECC和哈希函数，并在MAC层集成安全机制。方案包括系统初始化、用户和无人机注册、密钥协商、新无人机加入、失效无人机撤销和位置隐私保护等阶段。
关键技术方法：采用HECC（超椭圆曲线密码）以80位操作数实现安全，比ECC更高效；使用签密（Signcryption）同时实现加密和认证；通过中国剩余定理（CRT）加密位置坐标；应用Dolev-Yao威胁模型和Real-or-Random（ROR）模型进行安全分析。
研究结果：
- 安全分析：LWKAS被证明能抵抗MITM、重放、冒充、ESL、恶意定位、克隆、失同步和DoS攻击，并通过MAC层验证保护帧完整性。
- 性能评估：在NS-3模拟中，LWKAS的认证延迟比现有方法低1.26至4.69倍，通信开销低于比较方案，计算成本减少1.27至6.48倍，总开销为1.90毫秒和240位。
讨论与结论：研究人员总结LWKAS在安全、隐私和效率间实现了平衡，适用于动态FANET环境。结论强调，方案采用80位HECC密钥，但可灵活升级参数，以适配未来安全需求。