[論文レビュー] An Experimental Study of Cryptography Capability using Chained Key Exchange Scheme for Embedded Devices

Mohd Anuar Mat Isa, Hashim, Habibah+3 more|arXiv (Cornell University)|Jan 1, 2014

Chaos-based Image/Signal Encryption被引用数 6

ひとこと要約

本稿では、ARMアーキテクチャのRaspberry Piを対象に、組み込みマイコンの暗号処理能力を評価するためのチェインド・キーエクスチェンジ（CKE）方式を提案する。TFTPを拡張し、U-Bootファームウェareにカスタム化されたGMP大規模整数ライブラリを統合することで、セキュアなキーエクスチェンジを実現した。OS上での2048ビットキーエクスチェンジは12.035秒で達成されたが、予期せぬことに、キャッシュの欠如により、バーメタル実行の方がOS実行より遅くなった。これは、軽量暗号処理におけるハードウェアとソフトウェアの重要なトレードオフを示している。

ABSTRACT

After 38 years of birthday Diffie-Hellman Key Exchange (DHKE), there are many proposed improvements in the DHKE protocol to encounter modern security issues. This protocol seems quite simple to be implemented, but it can be vulnerable to many types of attacks. In this work, we propose the Chained Key Exchange scheme as a case study to explore cryptographic computation capability of embedded microcontroller. We choose ARM RaspberryPi board as hardware platform for experimental setup. To enable RasberberryPi system on chip (SoC) to perform cryptographic computation, we modified the GNU GMP Bignum library to support a simple primitive cryptographic computation in the UBOOT firmware. The main purpose of our study is to determine whether there is any gap between cryptographic protocol-scheme (in term of theoretical) and its engineering implementation. Our scheme will be integrated with Trivial File Transfer Protocol (TFTP) application in the UBOOT firmware. Our proposed scheme in the TFTP protocol will secure the sharing of secrets and symmetric keys (e.g., AES256). After that, the symmetric encryption algorithm can be used to encrypt data in the cases of remote system updates, patching and upgrades (e.g., firmware, kernel or application).

研究の動機と目的

• 制限された環境下における組み込みマイコン、特にARMアーキテクチャのRaspberry Piの暗号計算能力を評価すること。
• リソース制限のあるデバイスにおける理論的暗号プロトコル設計と実際のエンジニアリング実装との間のギャップを調査すること。
• TFTPを介した信頼できるリモートシステムアップデートを実現するため、U-Bootファームウェareにセキュアなキーエクスチェンジメカニズムを統合すること。
• 同じハードウェア上で、バーメタル実行とOS上での実行との間の性能差を評価すること。
• 標準マイコンから一般化可能で、セキュアかつ軽量な暗号デバイスを構築する可能性を検討すること。

提案手法

• Diffie-Hellmanキーエクスチェンジ（DHKE）プロトコルに基づくチェインド・キーエクスチェンジ（CKE）方式を提案し、初期鍵材としてコアルートオブトラスト（crt）を用いる。
• GNU GMP大規模整数ライブラリを改変し、U-Bootファームウェア内で直接暗号計算を可能にし、キーエクスチェンジに必要なモジュラーエクスポネンシエーションを実現する。
• 製造段階で生成され、改ざん防止の非揮発性メモリに格納された事前共有コアルートオブトラストパラメータ（p_crt, g_crt, a_crt, b_crt）を用いる。
• モジュラーエクスポネンシエーションにより共有秘密鍵（Key_crt）を生成する：Key_crt ≡ A_crt^b_crt mod p_crt および Key_crt ≡ B_crt^a_crt mod p_crt。
• U-BootのTFTPプロトコルスタックにCKE方式を統合し、ファームウェア、カーネル、アプリケーションのアップデートを保護する。
• 同一の入力データとコードを用いて、バーメタル実行モードとOSベース実行モードの両方を備えた改変U-Boot環境を採用し、性能比較を実施する。

実験結果

リサーチクエスチョン

• RQ1 理論的暗号プロトコル設計と、組み込みマイコン上での実際の実装との間に顕著な性能ギャップが存在するか？
• RQ2 OSのオーバーヘッドが少ないため、Raspberry Piのようなマイコン上でバーメタル実行がOS上実行を上回る性能を示すのか？
• RQ3 U-Bootファームウェアにセキュアなキーエクスチェンジプロトコルを効果的に統合できるか？
• RQ4 キャッシュ設定やOSの有無を含む、異なるハードウェア・ソフトウェア構成が、モジュラーエクスポネンシエーションのような暗号演算の性能にどのように影響するか？
• RQ5 制限されたデバイス上で、安全で効率的かつ軽量な暗号処理を実現するにあたり、重要な実装上の課題は何か？

主な発見

• Raspberry Pi上でのチェインド・キーエクスチェンジ方式の性能は、バーメタルモード（1024ビット鍵で8.364秒）がOS上実行（1024ビット鍵で1.571秒）よりも顕著に遅かった。
• バーメタルモードでCPUの内部キャッシュを有効化したところ、1024ビット鍵の実行時間が8.364秒から1.887秒に短縮された。これは、キャッシュの有効性がOSのオーバーヘッドを上回る影響を持つことを示している。
• 2048ビット鍵では、バーメタルモードで63.998秒、OS上では12.035秒を要した。これは、鍵サイズが性能に顕著な影響を及ぼすことを確認した。
• OS上実行がバーメタル実行より速いという予期せぬ結果は、当初の仮説（OSの干渉が少ないためバーメタルが速い）を覆した。
• 統合されたCKE方式を備えたU-Bootファームウェアは185,584バイトにまで増大した。これは、低レベルファームウェアに暗号機能を統合可能であることを示している。
• 本研究では、キャッシュ、パイipelニング、メモリ管理などのハードウェアレベル最適化が、最小限のファームウェア環境でも性能に極めて重要であることが明らかになった。