[論文レビュー] Information Theoretic Authentication and Secrecy Codes in the Splitting Model

Michael Huber|arXiv (Cornell University)|Nov 30, 2011

DNA and Biological Computing参考文献 11被引用数 3

ひとこと要約

本稿では、情報理論的設定下で完全な機密性を備えた最適なスプリット認証コードを、巡回的スプリット設計を用いて構築する新規な手法を提示する。この手法により、鍵の数とメッセージ数が異なる場合でも、偽造防止性と機密性の両方を達成でき、長年の文献的ギャップを解消する。主な貢献は、鍵数とメッセージ数が等しくない一般ケース（非対称ケース）における、初めての包括的構成法の確立である。

ABSTRACT

In the splitting model, information theoretic authentication codes allow non-deterministic encoding, that is, several messages can be used to communicate a particular plaintext. Certain applications require that the aspect of secrecy should hold simultaneously. Ogata-Kurosawa-Stinson-Saido (2004) have constructed optimal splitting authentication codes achieving perfect secrecy for the special case when the number of keys equals the number of messages. In this paper, we establish a construction method for optimal splitting authentication codes with perfect secrecy in the more general case when the number of keys may differ from the number of messages. To the best knowledge, this is the first result of this type.

研究の動機と目的

• 鍵数とメッセージ数が異なる一般ケースにおいて、完全な機密性を備えた最適なスプリット認証コードが存在しないという文献的欠落を解消すること。
• 2004年、Ogataらが取り扱った対称ケース（鍵数 = メッセージ数）に限った先行研究を、より広範かつ実用的な設定へと拡張すること。
• 組合せ設計に基づく体系的な構成法を提供し、偽造防止の最適性と完全な機密性の両方を保証すること。
• スプリットモデルにおいて、完全な機密性と最適な1重偽造防止性を同時に達成できることを示すこと。

提案手法

• 本手法は、短い軌道を含まない巡回的 $2$-$(v,b,l=cu,1)$ スプリット設計に依存しており、これによりメッセージ集合が符号化ルール全体に均等に分布することを保証する。
• 基本ブロックとそのモジュロ加法による平行移動を用いて、全符号化ルールおよびメッセージマッピングを生成する。
• この構成により、各ソース状態が各符号化ルールに対して正確に $c$ 個のメッセージにマッピングされ、$c$-スプリットの条件を満たす。
• すべての符号化ルールを等確率で使用することで完全な機密性を達成し、メッセージ分布がソース状態に依存しないようにする。
• このような設計の存在は、$v \equiv 1 \pmod{u(u-1)c^2}$ のとき保証され、これにより全軌道と均一性が確保される。
• 得られる認証コードは、各行が符号化ルールに対応し、各列がソース状態に対応する符号化行列として表現され、各要素は対応する可能性のあるメッセージの集合である。

実験結果

リサーチクエスチョン

• RQ1 鍵数とメッセージ数が等しくない場合に、完全な機密性を備えた最適なスプリット認証コードを構築することは可能か？
• RQ2 統一的な組合せ的構成法を用いて、スプリットモデルで1重偽造防止性と完全な機密性を同時に達成することは可能か？
• RQ3 どのような組合せ設計の条件が、スプリット認証コードが最適かつ完全に安全であることを保証するか？
• RQ4 巡回的スプリット設計をどのように用いて、保証されたセキュリティ特性を持つこのようなコードを体系的に生成できるか？
• RQ5 この構成は、非対称ケース（鍵数 = メッセージ数）を超えて一般化可能であり、実用的応用をサポートできるか？

主な発見

• 巡回的 $2$-$(v,b,l=cu,1)$ スプリット設計が短い軌道を含まず、特に $v \equiv 1 \pmod{u(u-1)c^2}$ を満たす場合に、最適な $c$-スプリット認証コードが完全な機密性を備えて存在する。
• 2つのソース状態（$u=2$）に対して、17個のメッセージ（$v=17$）と34個の符号化ルール（$b=34$）を用いた最適な2スプリットコードは、完全な機密性と1重偽造防止性を達成する。
• 基本ブロックをモジュロ算術から導出することで、$u=2$ かつ $v=2c^2n+1$ 個のメッセージ、$b=(2c^2n+1)n$ 個の符号化ルールを用いた一般化が可能となる。
• 符号化ルールの均等な分布により完全な機密性が達成され、メッセージの確率分布がソース状態の情報を露わにしない。
• 既存のスプリット設計の構成法を活用することで、$u>2$ の場合に対しても同様のコードの構築が可能である。
• 符号化行列の表現により、同じルール下で異なるソース状態に対するメッセージ集合が互いに素であることが確認され、正しく復号され、整合性が保証される。