[论文解读] IoD-Crypt: A Lightweight Cryptographic Framework for Internet of Drones

Muslum Ozgur Ozmen, Rouzbeh Behnia+1 more|arXiv (Cornell University)|Apr 15, 2019

Cryptography and Data Security参考文献 43被引用 16

一句话总结

IoD-Crypt 是一种面向无人机互联网（IoD）的轻量级密码学框架，通过消除传统公钥基础设施（PKI）的开销，并利用自认证密钥与 FourQ 曲线上的优化 BPV/DBPV 技术，最小化昂贵的椭圆曲线标量乘法运算，从而降低能耗。在 32 位 ARM 处理器上，其能耗相比标准 PKI 最低可降低 48 倍，同时在随机预言模型下保持安全性。

ABSTRACT

Internet of Drones (IoD) is expected to play a central role in many civilian and military applications, that require sensitive and mission-critical information to be processed. It is therefore vital to ensure the security and privacy of IoD. However, unlike traditional networks, IoD has a broader attack surface and is highly energy-constrained, which hinder the direct adoption of standard cryptographic protocols for IoD. We propose an energy-efficient cryptographic framework (namely IoD-Crypt), which can potentially meet the requirements of battery-limited IoD. Specifically, IoD-Crypt utilizes special precomputation techniques and self-certified primitives to gain significant computation and communication efficiency over the standard public key cryptography (PKC) suites. Our integrations and optimizations are broadly applicable to key exchange, digital signature and public key encryption schemes that encompass generic applications of PKC in IoD. We prove that IoD-Crypt is secure in the random oracle model. We fully implemented IoD-Crypt on two common drone processors, namely 8-bit AVR and 32-bit ARM, and conducted an in-depth energy analysis. Our experiments (on both platforms) showed that IoD-Crypt offers up to 48x less energy consumption compared to standard techniques. We have open-sourced our implementations for wide adoption and public testing purposes.

研究动机与目标

• 为电池供电的无人机在 IoD 网络中的能源与计算资源限制提供解决方案，因为标准 PKI 协议成本过高。
• 在不损害安全性的前提下，降低无人机系统中公钥密码学的能耗。
• 设计一个全面的、开源的密码学框架，以满足 IoD 独特的需求，包括低延迟和高吞吐量通信。
• 消除密钥交换、数字签名和加密过程中证书管理的开销以及昂贵的椭圆曲线标量乘法运算。
• 实现实时应用中大规模无人机机群的可扩展、高效且安全的通信。

提出的方法

• IoD-Crypt 采用自认证公钥原原子，消除对传统证书机构的需求，降低与 PKI 相关的通信与验证开销。
• 集成 BPV 与 DBPV 技术，通过预计算并重用中间值，消除最耗计算的步骤——椭圆曲线标量乘法。
• 利用 FourQ 椭圆曲线，其支持快速点运算（如加法），并以更小的密钥尺寸提供高安全性。
• 结合高效的对称原原子（如 ChaCha20-Poly1305）与优化的公钥方案，在安全性和性能之间实现平衡。
• 设计模块化，支持使用标准化曲线与算法的密钥交换、数字签名与公钥加密。
• 实现已移植至 8 位 AVR 与 32 位 ARM 处理器，预计算表存储于 SRAM 中，以最小化运行时成本。

实验结果

研究问题

• RQ1 能否设计一种密码学框架，在不牺牲安全性的前提下，显著降低资源受限无人机系统中的能耗？
• RQ2 自认证公钥方案与预计算技术在多大程度上可降低 IoD 中公钥运算的计算成本？
• RQ3 在常见无人机处理器上，IoD-Crypt 的性能与标准 PKI 协议（如 ECDSA、ECIES）相比，在能耗效率与吞吐量方面如何？
• RQ4 该框架能否在降低能耗的同时保持高吞吐量与低延迟，从而支持可扩展的无人机机群运行？
• RQ5 FourQ 曲线与优化的 BPV/DBPV 技术在真实无人机部署中是否可行且安全？

主要发现

• 在 32 位 ARM 处理器上，IoD-Crypt 相较于标准 PKI 技术，能耗最高可降低 48 倍；在 8 位 AVR 处理器上，能耗降低 13 倍。
• 在 STM32F4 处理器上，IoD-Crypt 实现每秒 555 个签名与 448 条加密消息的吞吐量，表现出高效率。
• 由于其优化的设计，该框架支持高消息吞吐量，可实现与数千架无人机同时进行安全通信。
• 在高端处理器上，IoD-Crypt 的验证与解密操作仅需 40–45 μs，确保指挥中心与 ZSP 的低延迟响应。
• 在 32 位 ARM 上的实现表明，IoD-Crypt 的密钥交换仅消耗 0.44 mJ，而标准 ECDH 消耗 13.84 mJ。
• 该框架在随机预言模型下形式化证明安全，确保对常见密码学攻击的抵抗力。