[論文レビュー] 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 は、従来の PKI のオーバーヘッドを排除し、FourQ 曲線上での自己証明鍵と最適化された BPV/DBPV 技術によって、高価な楕円曲線スカラ乗算を最小限に抑える、ドローンのインターネット（IoD）向けの軽量暗号フレームワークである。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 プrotocols がコストが高すぎる問題を解決すること。
• セキュリティを損なわずに、ドローンシステムにおける公開鍵暗号のエネルギー消費を低減すること。
• 低遅延および高スループット通信を要件とする IoD の独自の要件に適合した包括的でオープンソースの暗号フレームワークを設計すること。
• 証明書管理のオーバーヘッドと、鍵交換、デジタル署名、暗号化における高価な EC スカラ乗算を排除すること。
• リアルタイムアプリケーションにおける大規模なドローン機群のための安全でスケーラブルかつ効率的な通信を可能にすること。

提案手法

• IoD-Crypt は自己証明鍵の公開鍵プリミティブを採用し、従来の証明書機関の必要性を排除し、PKI 関連の通信および検証オーバーヘッドを低減する。
• BPV および DBPV の技術を統合し、最も計算コストの高いステップである楕円曲線スカラ乗算を、事前に計算した中間値を再利用することで排除する。
• 高速な点演算（例：加算）をサポートし、小さな鍵サイズで高いセキュリティを提供する FourQ 楕円曲線を活用する。
• 効率的な対称暗号プリミティブ（例：ChaCha20-Poly1305）と最適化された公開鍵方式を組み合わせ、セキュリティとパフォーマンスのバランスを図る。
• モジュラーな設計であり、標準化された曲線とアルゴリズムを用いて、鍵交換、デジタル署名、公開鍵暗号化をサポートする。
• 実装は 8ビット AVR および 32ビット ARM プロセッサに移植され、事前計算テーブルを SRAM に格納することで実行時のコストを最小限に抑える。

実験結果

リサーチクエスチョン

• RQ1 リソース制約のあるドローンシステムにおいて、セキュリティを損なわずにエネルギー消費を著しく低減できる暗号フレームワークを設計可能か？
• RQ2 自己証明鍵の公開鍵方式と事前計算技術は、IoD における公開鍵演算の計算コストをどの程度低減できるか？
• RQ3 一般的なドローンプロセッサ上でのエネルギー効率およびスループットの観点から、IoD-Crypt のパフォーマンスは、標準 PKI プrotocols（例：ECDSA、ECIES）と比べてどの程度優れているか？
• RQ4 エネルギー消費を低減しながらも、高スループットと低遅延を維持できるか。これにより、スケーラブルなドローン機群運用が可能になるか？
• RQ5 FourQ 曲線と最適化された BPV/DBPV 技術の統合は、実世界のドローン展開において実用的かつ安全か？

主な発見

• 32ビット ARM プロセッサ上では、IoD-Crypt は標準 PKI 技術と比較して最大 48× のエネルギー消費削減を達成した。8ビット AVR プロセッサ上では 13× の削減を達成した。
• STM32F4 プロセッサ上では、IoD-Crypt は1秒間に555件の署名および448件の暗号化メッセージを処理するという高い効率性を示した。
• 最適化された設計のおかげで、数千台のドローンと同時に安全に通信できる高スループットを実現した。
• 高スペックプロセッサ上では、検証および復号処理にたった 40–45 μs で完了し、コマンドセンターおよび ZSP における低遅延応答を確保した。
• 32ビット ARM 上の実装では、IoD-Crypt は鍵交換にわずか 0.44 mJ のエネルギー消費で済ませたのに対し、標準 ECDH では 13.84 mJ を要した。
• フレームワークはランダムオラクルモデルにおいて形式的に安全であると証明されており、一般的な暗号攻撃に対して耐性がある。