[論文レビュー] On Error Correction for Physical Unclonable Functions

Sven Puchinger, Sven Müelich+3 more|arXiv (Cornell University)|Jan 27, 2015

Physical Unclonable Functions (PUFs) and Hardware Security参考文献 8被引用数 28

ひとこと要約

本論文は、物理的複製不能関数（PUFs）における誤り訂正のための高度な符号化技術——一般化された連結符号、リード・マラー符号、およびリード・ソロモン符号——を提案しており、符号長とブロック誤り確率を顕著に低減するとともに、復号の複雑さを抑えています。構造的符号構成とパワー復号を活用することで、符号長1024ビットでブロック誤り確率約3.47×10⁻¹⁰を達成し、従来の手法に比べて効率性と信頼性の面で優れています。

ABSTRACT

Physical Unclonable Functions evaluate manufacturing variations to generate secure cryptographic keys for embedded systems without secure key storage. It is explained how methods from coding theory are applied in order to ensure reliable key reproduction. We show how better results can be obtained using code classes and decoding principles not used for this scenario before. These methods are exemplified by specific code constructions which improve existing codes with respect to error probability, decoding complexity and codeword length.

研究の動機と目的

• 環境的および製造上のばらつきによって生じる応答のばらつきのため、物理的複製不能関数（PUFs）における鍵再現の信頼性の欠如という課題に対処すること。
• この分野にこれまで適用されていなかった符号クラスおよび復号手法を検討することで、既存のPUF用誤り訂正方式の改善を図ること。
• PUFに基づく鍵生成における高いセキュリティと信頼性を維持しつつ、符号長、ブロック誤り確率、および復号の複雑さを低減すること。
• 標準的な方式（BCH符号や繰り返し符号など）と比較して優れた性能を示す実用的な符号構成の提示。
• 符号理論の最適化応用を通じて、組み込み暗号システムにおけるPUFのより効率的かつ安全な実装を可能にすること。

提案手法

• 論文では、PUF応答からランダムな符号語を差し引いて補助データを生成する符号オフセット構成を採用しており、復号によって鍵の回復が可能になっています。
• 一般化された連結符号（GCC）を提案しており、内部符号を複数の部分符号に分割し、それぞれを外部のリード・ソロモン符号またはリード・マラー符号で保護しています。
• リード・ソロモン符号をエラーの宣言を伴って使用することで符号長を短縮し、短い符号語で高い誤り訂正能力を維持しています。
• 低レートの外部符号（例：RS(32,2,31)）に対してパワー復号を適用することで、標準復号の限界を超えてブロック誤り確率を顕著に低減しています。
• 復号プロセスは段階的に行われます。まず内部の最大尤度復号により、2値対称的通信路が誤りと消去を含む通信路に変換され、その後外部復号が実行され、誤り確率の上限が付与されます。
• 全体の誤り確率は、個々の段階の誤り確率を合算することで上界が与えられ、システム全体の信頼性が保証されています。

実験結果

リサーチクエスチョン

• RQ1 一般化された連結符号は、標準的な連結符号と比較して、PUFに基づく鍵生成における誤り訂正性能の向上と符号長の短縮を達成できるか？
• RQ2 エラー宣言付きのリード・ソロモン符号とパワー復号は、PUFシステムにおけるブロック誤り確率と符号長をどのように低減できるか？
• RQ3 リード・マラー符号は、PUF誤り訂正のためのマルチレベル符号構成において、どの程度効果的に利用可能か？
• RQ4 PUF応用において高度な符号クラスを使用する際、復号の複雑さ、符号長、誤り確率の間のトレードオフはどの程度か？
• RQ5 構造的符号構成は、BCH符号に繰り返し符号を組み合わせた従来の方式と比較して、より短い符号語で低いブロック誤り確率を達成できるか？

主な発見

• 提案された一般化された連結符号構成により、符号長1024ビットでブロック誤り確率約3.47×10⁻¹⁰を達成し、先行研究と比較して顕著に符号長が短縮されています。
• エラー付きリード・ソロモン符号（RS(2⁶;36,22)）を用いることで、符号長を1152ビットに短縮し、ブロック誤り確率1.19×10⁻¹⁰を達成しています。
• 低レート外部符号（例：RS(32,2,31)）に対するパワー復号により、最初の復号段階で誤り確率が1.03×10⁻⁸から1.48×10⁻¹¹に低下しました。
• 最終段階でリード・マラー符号を外部符号として使用することで、ブロック誤り確率2.13×10⁻¹¹を達成し、全体の低誤り率に寄与しています。
• 復号で使用する最大の有限体サイズを𝔽₂⁵にまで低減したため、従来のBCHベースの方式で用いられる𝔽₂⁸と比較して、より効率的なハードウェア実装が可能になっています。
• 全体のアプローチにより、[1]の構成と比較して符号長を50％削減し、誤り訂正性能を維持または向上させています。