[論文レビュー] Secure one-way interactive communication.

Abhinav Aggarwal, Varsha Dani+2 more|arXiv (Cornell University)|May 15, 2016

Coding theory and cryptography参考文献 20被引用数 4

ひとこと要約

この論文は、未知の数のビット T を反転させる無関心な敵が存在する二進チャネル上で、安全で一方向のインタラクティブ通信プロトコルを提示する。信頼性のある伝送を達成し、合計通信量が L + O(T) ビットである。これは Haeupler の予想に基づくと、漸近的に最適であり、Bob が正しいメッセージを受け取る確率が 1−ϵ 以上であることを保証する。

ABSTRACT

Alice and Bob are connected via a two-way binary channel. This paper describes an algorithm to enable Alice to send a message to Bob when 1) an oblivious adversary flips an unknown number of bits, $T$, on the channel; and 2) the message length $L$, and a desired error probability, $\epsilon$ are public knowledge. With probability at least $1-\epsilon$, our algorithm ensures that Bob receives the correct message, and that Alice and Bob terminate after sending a total of $L + O \left( T + \min \left(T+1,\frac{L}{\log L} ight) \log \left( \frac{L}{\epsilon} ight) ight)$ bits. When $\epsilon = \Omega\left( \frac{1}{poly(L)} ight)$ and $T$ is large, the number of bits sent is $L + O\left( T ight)$, which is asymptotically optimal, assuming a conjecture by Haeupler.

研究の動機と目的

• 二方向チャネル上で、未知の数のビット T を反転させる無関心な敵に耐えうる、安全で一方向の通信プロトコルを設計すること。
• メッセージの整合性と正しさを高い確率で保証しつつ、合計通信コストを最小限に抑えること。
• Haeupler が提唱する既知の予想に基づき、通信オーバーヘッドの漸近的最適性、具体的には L + O(T) ビットを達成すること。
• メッセージ長 L と誤り確率 ϵ が公開されている状況でも、終了と正しさを保証すること。

提案手法

• プロトコルは、誤り訂正符号とインタラクティブハッシュの組み合わせを用い、無関心な敵によって導入されたビット反転を検出し、訂正する。
• 複数回の検証とフィードバックを経て、有効な誤り率を低減する再帰的または反復的な構造を採用する。
• 推定誤り数 T と所望の誤り確率 ϵ に応じて、動的にアルゴリズムを適応させる。
• L と ϵ が公開されていることを利用して、信頼性を維持しつつ通信コストを最小化するパラメータを事前に計算する。
• 合計送信ビット数が L + O(T + min(T+1, L/log L) · log(L/ϵ)) ビットであることを保証し、誤り耐性と効率性のバランスを取る。
• 有限ステップ内で終了が保証され、Bob が正しいメッセージを受け取る確率が 1−ϵ 以上である。

実験結果

リサーチクエスチョン

• RQ1 無関心な敵が未知の数のビットを反転させる二進チャネル上で、一方向通信を安全かつ信頼性高く実現できるか？
• RQ2 このような状況下で、所望の誤り確率 ϵ を達成するために必要な最小通信オーバーヘッドは何か？
• RQ3 妥当な予想に基づき、通信コストの漸近的最適性、具体的には L + O(T) を達成することは可能か？
• RQ4 どのようにしてインタラクティブ技術を一方向通信に適応させ、正しさと終了を保証できるか？

主な発見

• 敵が未知の数のビット T を反転させても、Bob が正しいメッセージを受け取る確率が 1−ϵ 以上であることを保証する。
• 合計通信コストは L + O(T + min(T+1, L/log L) · log(L/ϵ)) ビットであり、多くの状況でほぼ最適である。
• ϵ = Ω(1/poly(L)) かつ T が大きい場合、オーバーヘッドは L + O(T) となり、Haeupler の予想に基づく理論的下界と一致する。
• Haeupler の予想が成り立つと仮定すれば、通信コストの漸近的最適性を達成する。
• 有限の通信後に終了するように設計されており、実用的妥当性を満たす。
• L と ϵ が公開されている状況でも耐性があり、セキュリティを損なわずに効率的なパrameter化が可能である。