점진적 배치를 지원하는 무작위 쌍별 키 분배 스킴의 연결성 분석

초록

본 논문은 무선 센서 네트워크에서 채널·맥의 쌍별 키 분배 방식을 단계적으로 배치할 수 있도록 구현 방법을 제시하고, 각 단계에서 안전한 연결성을 유지하기 위한 키 개수의 규모를 분석한다. 결과적으로 노드당 키 수를 O(log n) 으로 설정하면 전체 배치 과정 동안 거의 확실히 연결된 네트워크를 확보할 수 있음을 보인다.

상세 분석

논문은 먼저 기존의 Chan 등에 의해 제안된 쌍별 키 사전분배 방식을 복습하고, 이 방식이 “전체 가시성(full visibility)” 가정 하에 무작위 그래프 H(n;K) 를 형성한다는 점을 강조한다. 여기서 K 는 각 노드가 사전에 선택하는 파트너 수이며, 각 파트너와는 고유한 키가 공유된다. 기존 연구에서는 K≥2 이면 H(n;K) 가 거의 확실히 연결된다고 증명했으며, 이는 “zero‑one law” 로 표현된다.

본 논문의 핵심은 이러한 모델을 “점진적 배치” 상황에 적용하는 것이다. 전체 네트워크 규모 n 을 미리 정해 두고, 실제 센서 노드들은 γ₁,γ₂,…,γ_ℓ (0<γ₁<…<γ_ℓ≤1) 로 정의된 단계별 비율에 따라 순차적으로 활성화된다. 각 단계 k 에서는 ⌊γ_k n⌋ 개의 노드가 배치되고, 사전에 생성된 키 링 Σ_{n,i} 가 해당 노드에 삽입된다. 중요한 질문은 “각 단계에서 H_{γ_k}(n;K) — 즉, 현재 배치된 노드들만으로 구성된 서브그래프—가 연결성을 유지하려면 K 를 어떻게 스케일링해야 하는가?”이다.

저자는 먼저 키 링 크기의 평균과 최대값을 분석한다. Lemma 4.1에 따르면 K→∞ 이면 각 노드의 키 링 크기가 평균 2K 에 수렴한다. Theorem 4.2는 K 가 λ log n 형태(λ>λ*≈2.6)일 때, 최대 키 링 크기 M_n 가 2K ± c log n 범위 안에 거의 확실히 존재함을 보여준다. 이는 메모리 요구량이 O(log n) 임을 의미한다.

연결성 분석에서는 두 가지 임계값이 도출된다. Theorem 4.3은 K_n ≈ c log n (γ 고정)일 때, c>1 이면 P_γ(n;K_n)→1, 즉 단계별 서브그래프가 거의 확실히 연결된다고 제시한다. 반면 Theorem 4.4는 고립 노드가 없을 확률에 대한 zero‑one law를 제시하며, 임계값 r(γ)=\frac{1-\log(1-γ)}{γ}-1 을 도출한다. 여기서 c<r(γ) 이면 고립 노드가 존재할 확률이 1에 수렴한다. Corollary 4.5는 두 임계값 사이의 간격이 작아(1/2 < 1−r(γ) < 1) 실제 설계에서는 c>1 조건만 만족하면 충분히 연결성을 보장할 수 있음을 강조한다.

결과적으로, 전체 네트워크 규모 n 에 대해 K=Θ(log n) 을 선택하면, 각 단계에서 필요한 키 링 크기가 O(log n) 에 머물면서도, 모든 단계에 걸쳐 거의 확실히 연결된 네트워크를 구축할 수 있다. 이는 메모리 제한이 엄격한 센서 노드에 적합한 설계 지침을 제공한다. 또한, 전통적인 EG 스킴과 비교했을 때, 쌍별 스킴은 완벽한 키 복원력(perfect resilience)과 노드 간 인증 기능을 제공하면서도 메모리 요구량을 동일 수준으로 유지한다는 장점을 갖는다.