[論文レビュー] On asymptotically exact probability of $k$-connectivity in random key graphs intersecting Erdős-Rényi graphs.

Jun Zhao, Osman Yağan+1 more|arXiv (Cornell University)|Sep 21, 2014

Security in Wireless Sensor Networks被引用数 4

ひとこと要約

本稿は、ランダムキーグラフ $\mathbb{G}(n;K,P)$ とエレミス＝レニー（Erdős-Rényi）グラフ $\mathbb{H}(n;p)$ の積み重ねとしてモデル化された、信頼性の低いエッジを有するランダムキーグラフにおける $k$-連結性、$k$-辺連結性、および最小頂点次数 $\geq k$ の漸近的正確確率を導出する。主な貢献は、$n \to \infty$ の下でスケーリングパラメータ $K_n, P_n, p_n$ の下で、これらの連結性特性の正確な閾値条件を確立することにある。

ABSTRACT

Random key graphs have been used in secure wireless sensor networks (WSNs) and various other applications. Random key graphs, denoted $\mathbb{G}(n;K,P)$, form a class of random intersection graphs and can be described as follows: With $\mathcal{V}_n=\{v_1, \ldots, v_n\}$ denoting the set of vertices, each vertex $v_i$ is assigned a set $S_i$ of $K$ distinct keys that are selected uniformly at random from a key pool of size $P$. An undirected edge is then drawn between any pair of distinct vertices $v_i$ and $v_j$ if $S_i \cap S_j eq \emptyset$. In this paper, we consider random key graphs with unreliable (i.e., randomly deleted) edges. Namely, let $\mathbb{H}(n;p)$ denote an Erdős-Renyi (ER) graph on vertices $\mathcal{V}_n$, where an edge exists between any distinct pair with probability $p$, independently from all other edges. The intersection of a random key graph and an ER graph, denoted $\mathbb{G}_{on} (n;K,P,p) = \mathbb{G}(n;K,P) \cap \mathbb{H}(n;p)$, corresponds to a random key graph with unreliable (Bernoulli) links, and can be a useful model in various real-world applications; e.g., with secure WSN application in mind, link unreliability can be attributed to harsh environmental conditions severely impairing transmissions. With parameters $K,P$, and $p$ scaled with $n$, we derive asymptotically exact probabilities for three related graph properties in $\mathbb{G}_{on} (n;K_n,P_n,p_n)$: i) $k$-vertex-connectivity, ii) $k$-edge-connectivity, and iii) the minimum vertex degree being at least $k$. A graph is $k$-vertex-connected (resp. $k$-edge-connected) if it remains connected despite the deletion of any $(k-1)$ vertices (resp. edges). Our results on the asymptotically exact probabilities of being vertex-connected and edge-connected in $\mathbb{G}_{on} (n;K_n,P_n,p_n)$ are also novel in the literature.

研究の動機と目的

• セキュアな無線センサーネットワーク（WSNs）を、ランダムキーグラフとエレミス＝レニー（Erdős-Rényi）グラフの積み重ねとしてモデル化し、信頼性の低い通信リンクを扱う。
• このようなハイブリッドランダムグラフにおける $k$-頂点連結性、$k$-辺連結性、および最小頂点次数 $\geq k$ の漸近的挙動を分析する。
• ネットワークサイズ $n$ が増大する際の $K_n$, $P_n$, $p_n$ のスケーリング下で、これらの連結性特性の正確な閾値条件を導出する。
• ベルヌーイリンク障害を伴うランダムキーグラフにおける $k$-連結性および $k$-辺連結性の、新しい漸近的正確な確率式を提供する。
• 現実のWSNにおける伝送劣化を反映させるために、エッジの信頼性欠如を組み込んだ既存のランダムインターセクショングラフの結果を拡張する。

提案手法

• エッジがキーグループの共有とERエッジ条件の両方を満たす場合にのみ存在する、$\mathbb{G}_{on}(n;K_n,P_n,p_n) = \mathbb{G}(n;K_n,P_n) \cap \mathbb{H}(n;p_n)$ としてネットワークをモデル化する。
• スケーリング則において $K_n$, $P_n$, $p_n$ が $n$ の関数として定義され、$K_n \to \infty$, $P_n \to \infty$, $p_n \to 0$ が適切に成立する条件下で、漸近的解析を実施する。
• 確率的手法とモーメント収束技術を用いて、$k$-連結性および $k$-辺連結性の正確な漸近的確率を導出する。
• キーアサインメントとエッジ削除プロセスの連携挙動を特定し、頂点および辺連結性の閾値を分析する。
• ランダムインターセクショングラフおよびランダムグラフ理論の結果を活用し、グラフが高確率で $k$-連結性を保つための明確な条件を導出する。
• 漸近的確率が $K_n$, $P_n$, $p_n$ のスケーリングに応じて 1 または 0 に収束することを確立し、正確な閾値を導出する。

実験結果

リサーチクエスチョン

• RQ1 $n \to \infty$ の下で、$\mathbb{G}_{on}(n;K_n,P_n,p_n)$ が $k$-頂点連結性を示す漸近的正確確率は何か？
• RQ2 ハイブリッドグラフモデルにおいて、$k$-辺連結性が高確率で成立するための $K_n$, $P_n$, $p_n$ の正確なスケーリング条件は何か？
• RQ3 $\mathbb{G}_{on}(n;K_n,P_n,p_n)$ の最小頂点次数は漸近的にどのように振る舞い、何の条件下で少なくとも $k$ に達するか？
• RQ4 ハイブリッドモデルにおける $k$-連結性および $k$-辺連結性の漸近的確率は、標準的なランダムキーグラフやエレミス＝レニー（Erdős-Rényi）グラフのそれらと比べてどう異なるか？
• RQ5 ランダムキーグラフにおいてエッジが確率 $1-p_n$ で独立に削除される場合、$k$-連結性の正確な閾値挙動は何か？

主な発見

• 指定された条件下で、$K_n \log P_n \to \infty$ かつ $p_n$ が $n$ に適切にスケーリングされる場合、$\mathbb{G}_{on}(n;K_n,P_n,p_n)$ が $k$-頂点連結性を示す漸近的確率は 1 に収束する。
• キーオーバーラップとエッジ削除の相互作用から導出された正確な閾値条件を満たす場合、$k$-辺連結性の漸近的確率は $K_n \to \infty$, $P_n \to \infty$, かつ $p_n$ が満たす条件を満たす限り 1 に収束する。
• $K_n \log P_n \to \infty$ かつ $p_n$ が $n$ に対して十分に大きい場合、$\mathbb{G}_{on}(n;K_n,P_n,p_n)$ の最小頂点次数は高確率で漸近的に少なくとも $k$ 以上である。
• $k$-連結性および $k$-辺連結性の導出された閾値は、漸近的に正確であり、パrameterのスケーリングに応じて確率が正確に 1 または 0 に収束することを意味する。
• エッジの信頼性欠如を組み込んだことで、既存のランダムキーグラフおよびエレミス＝レニー（Erdős-Rényi）グラフの研究を一般化し、環境干渉下のセキュアなWSNのより現実的なモデルを提供する。
• 本稿は、$n \to \infty$ の極限において正確な漸近的表現を有する、ハイブリッドモデルにおける $k$-連結性および $k$-辺連結性の確率に関する、新しい結果を確立している。