[논문 리뷰] On asymptotically exact probability of $k$-connectivity in random key graphs intersecting Erdős-Rényi graphs.

Jun Zhao, Osman Yağan외 1명|arXiv (Cornell University)|2014. 09. 21.

Security in Wireless Sensor Networks인용 수 4

한 줄 요약

이 논문은 랜덤 키 그래프 $\mathbb{G}(n;K,P)$ 와 에르되시-레니 그래프 $\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.

연구 동기 및 목표

• 랜덤 키 그래프와 에르되시-레니 그래프의 교차를 통해 고장이 발생할 수 있는 통신 링크를 가진 보안 무선 센서 네트워크(WSN)를 모델링한다.
• 이러한 하이브리드 랜덤 그래프에서 $k$-정점연결성, $k$-간선연결성, 최소 정점 차수 $\geq k$ 의 점근적 행동을 분석한다.
• 네트워크 크기 $n$ 이 증가함에 따라 $K_n$, $P_n$, $p_n$ 의 스케일링에 따라 이러한 연결성 성질에 대한 정밀한 임계 조건을 도출한다.
• 베르누이 링크 고장이 발생하는 랜덤 키 그래프의 맥락에서 $k$-연결성과 $k$-간선연결성에 대한 새로운 점근적으로 정확한 확률 표현을 제공한다.
• 실제 무선 센서 네트워크의 전송 손상 요소를 반영하기 위해 기존의 무작위 교차 그래프 이론을 확장하여 간선의 고장을 포함한다.

제안 방법

• 간선은 키 공유 조건과 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$-간선연결성의 점근적 확률은 표준 랜덤 키 그래프 또는 에르되시-레니 그래프의 경우와 어떻게 비교되는가?
• 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_n \to \infty$, $P_n \to \infty$, 그리고 키 겹침과 간선 삭제의 상호작용에서 유도된 정밀한 임계 조건을 만족할 경우, $k$-간선연결성의 점근적 확률은 1로 수렴한다.
• $K_n \log P_n \to \infty$ 이고 $p_n$ 이 $n$ 에 대해 충분히 크면, $\mathbb{G}_{on}(n;K_n,P_n,p_n)$ 의 최소 정점 차수는 고위험도로 점근적으로 적어도 $k$ 이상이 된다.
• $k$-연결성과 $k$-간선연결성에 대한 유도된 임계 조건은 점근적으로 정확하며, 이는 파라미터 스케일링에 따라 확률이 정확히 1 또는 0으로 수렴함을 의미한다.
• 기존의 랜덤 키 그래프 및 에르되시-레니 그래프 연구를 확장하여 간선의 고장을 통합함으로써, 환경 간섭 하에서 더 현실적인 보안 WSN 모델을 제공한다.
• 이 논문은 $n \to \infty$ 의 극한에서 정확한 점근적 표현을 제공하는 하이브리드 모델에서 $k$-연결성과 $k$-간선연결성의 확률에 대해 새로운 결과를 확립한다.