[論文レビュー] Secure Index Coding with Security Constraints on Receivers

Yucheng Liu, Parastoo Sadeghi+2 more|arXiv (Cornell University)|Jan 21, 2020

Cooperative Communication and Network Coding参考文献 15被引用数 9

ひとこと要約

本稿では、正当な受信者にセキュリティ制約を課すインデックスコーディングの安全な線形符号化方式を導入し、分数局所部分クリーク被覆法を拡張する。情報理論的境界として、安全な多項的外挿境界と安全なMAIS下限境界を確立し、2つの必要十分条件を導出し、非可能問題の特定とより緊密なレート境界の導出を可能にする。応用例として、セキュアな動画ストリーミングとアクセス制御が挙げられる。

ABSTRACT

Index coding is concerned with efficient broadcast of a set of messages to receivers in the presence of receiver side information. In this paper, we study the secure index coding problem with security constraints on the receivers themselves. That is, for each receiver there is a single legitimate message it needs to decode and a prohibited message list, none of which should be decoded by that receiver. To this end, our contributions are threefold. We first introduce a secure linear coding scheme, which is an extended version of the fractional local partial clique covering scheme that was originally devised for non-secure index coding. We then develop two information-theoretic bounds on the performance of any valid secure index code, namely secure polymatroidal outer bound (on the capacity region) and secure maximum acyclic induced subgraph lower bound (on the broadcast rate). The structure of these bounds leads us to further develop two necessary conditions for a given index coding problem to be securely feasible (i.e., to have nonzero rates).

研究の動機と目的

• 正当な受信者が禁止されたメッセージを復号してはならないインデックスコーディングの状況に対処し、動画ストリーミングにおける実世界のアクセス制御をモデル化すること。
• 受信者が特定のメッセージを学習してはならないという制約のもとで、非セキュアなインデックスコーディング技術をセキュアな設定に拡張すること。
• 受信者のセキュリティ制約を伴うインデックスコーディングのための情報理論的性能境界と可能性条件を開発すること。
• すべての受信者において復号要件とセキュリティ制約が同時に満たされることを保証すること。
• 非可能であるとされるセキュアなインデックスコーディング問題を特定するフレームワークと、達成可能なブロードキャストレート境界をタイトにする手法を提供すること。

提案手法

• 受信者のセキュリティ制約を満たすように適合させた、分数局所部分クリーク被覆（FLPCC）フレームワークに基づく安全な線形符号化方式を提案する。
• 情報理論的不等式とエントロピー関数を用いて、容量領域に対する安全な多項的外挿境界を導出する。
• ブロードキャストレートに対する安全な最大無閉路部分グラフ（S-MAIS）下限境界を導入し、セキュアな設定における古典的MAIS境界を精緻化する。
• メッセージ集合のg分割とρ値の再帰的更新ルールを用いた、S-MAIS境界を計算する反復的手順を開発する。
• 2つの必要十分な可能性条件を確立する：1つはS-MAIS境界に基づくもので、もう1つは分割における最小集合サイズを超えるρ値が計算された場合のもの。
• 既存の盗聴者セキュアインデックスコーディングに関する結果を用いて、提案手法におけるセキュリティ制約の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 受信者が側情報を持つ状況でも、禁止されたメッセージセットに属するいかなるメッセージに対しても復号できないような線形符号化方式を設計できるか？
• RQ2 受信者のセキュリティ制約を伴うインデックスコーディングにおけるブロードキャストレートの最もタイトな情報理論的境界は何か？
• RQ3 どのような条件下で、セキュアなインデックスコーディング問題は非可能となるのか、すなわちすべての復号要件とセキュリティ要件を満たす符号が存在しない状況は？
• RQ4 多項的外挿境界とMAIS境界のセキュア版は、古典的境界に対してどのように改善されるか？
• RQ5 メッセージ依存性グラフと禁止セットの構造的性質を用いて、可能性を効率的に特定できるか？

主な発見

• 提案された安全な線形符号化方式は、既存の盗聴者セキュア符号化結果を活用することで、FLPCCフレームワークを受信者のセキュリティ制約を満たすように拡張する。
• 安全な多項的外挿境界は、古典的境界と比較して、セキュリティ制約下での容量領域のよりタイトな特徴付けを提供する。
• 安全なMAIS（S-MAIS）下限境界は、古典的MAIS境界よりも厳密にタイトなレート下限を与える。9メッセージ例では、S-MAIS境界が3から4に向上したことが実証された。
• 最初の可能性条件（定理3）は、S-MAIS境界を用いた正当なセキュア符号の存在をチェックすることで、非可能問題を特定する。
• 2番目の可能性条件（定理5）は、分割におけるρ値がその分割の最小集合サイズを超える場合に非可能であることを検出する。5メッセージ例でその有効性が示された。
• 9メッセージ例では、S-MAIS境界が対称容量1/4と一致しており、そのタイトさと実用的有用性が確認された。