[논문 리뷰] Investigating the Cost of Anonymity on Dynamic Networks

Giuseppe Antonio Di Luna, Roberto Baldoni|arXiv (Cornell University)|2015. 05. 13.

Opportunistic and Delay-Tolerant Networks참고 문헌 17인용 수 6

한 줄 요약

이 논문은 브로드캐스트와 무제한 대역폭을 갖춘 익명 동적 네트워크에서 노드 수를 세는 데 필요한 시간의 기본 하한을 설정한다. 동적 지름 D가 일정할지라도 익명성으로 인해 D 이후에 추가로 Ω(log |V|) 라운드가 더 필요하다는 것을 증명하며, 이러한 시스템에서 익명성의 상당한 비용을 드러낸다.

ABSTRACT

In this paper we study the difficulty of counting nodes in a synchronous dynamic network where nodes share the same identifier, they communicate by using a broadcast with unlimited bandwidth and, at each synchronous round, network topology may change. To count in such setting, it has been shown that the presence of a leader is necessary. We focus on a particularly interesting subset of dynamic networks, namely extit{Persistent Distance} - ${\cal G}($PD$)_{h}$, in which each node has a fixed distance from the leader across rounds and such distance is at most $h$. In these networks the dynamic diameter $D$ is at most $2h$. We prove the number of rounds for counting in ${\cal G}($PD$)_{2}$ is at least logarithmic with respect to the network size $|V|$. Thanks to this result, we show that counting on any dynamic anonymous network with $D$ constant w.r.t. $|V|$ takes at least $D+ Ω( ext{log}\, |V| )$ rounds where $Ω( ext{log}\, |V|)$ represents the additional cost to be payed for handling anonymity. At the best of our knowledge this is the fist non trivial, i.e. different from $Ω(D)$, lower bounds on counting in anonymous interval connected networks with broadcast and unlimited bandwith.

연구 동기 및 목표

• 노드가 구분되지 않으며 통신이 브로드캐스트 방식인 동적 네트워크에서 익명성의 계산 비용을 조사하는 것.
• 익명 동적 네트워크에서 리더가 네트워크 크기 |V|를 정확히 계산하기 위해 필요한 최소 라운드 수를 규명하는 것.
• 노드에서 리더까지의 거리가 라운드 간 지속적으로 유지되는 특정 동적 네트워크 클래스 G(PD)h를 식별하고 분석하는 것.
• 동적 지름 D보다 엄밀히 큰 비잔성 하한을 설정하여 익명성의 영향을 부각하는 것.

제안 방법

• 각 노드가 라운드 동안 리더로부터 고정된 거리 h를 유지하는 네트워크 가족 G(PD)h를 도입한다.
• 리더에서 거리 2인 노드들이 동적으로 변화하는 경로로 연결되는 G(PD)2 하위클래스를 분석한다.
• 선형 대수 기법을 사용하여 리더의 상태 변화를 모델링하며, 메시지를 벡터로 표현하고 메시지 전파를 행렬 곱셈으로 기술한다.
• 같은 리더 상태로 이르는 구분 불가능한 메시지 패턴을 나타내는 커널 벡터 k_r을 정의하고, 이러한 패턴이 반드시 선형 종속이어야 한다는 것을 증명한다.
• 다른 두 네트워크 크기(n과 n+1)가 동일한 리더 상태를 유도할 수 있음을 보여, 모순을 유도함으로써 잘못된 출력이 발생할 수 있음을 시사한다.
• log₃(2|W|+1)의 bound를 활용하여, 동적 다중그래프에서 세는 데 대해 Ω(log |V|) 하한을 유도한다.

실험 결과

연구 질문

• RQ1 동적 지름이 일정한 익명 동적 네트워크에서 리더가 노드 수를 세기 위해 필요한 최소 라운드 수는 얼마인가?
• RQ2 유일 식별자가 있는 네트워크와 비교해 볼 때, 익명성은 세는 데 대한 시간 복잡도에 어떤 영향을 미치는가?
• RQ3 동적 지름 D보다 엄밀히 큰 비잔성 하한을 세는 복잡도에 대해 설정할 수 있는가?
• RQ4 예를 들어, 거리 2 노드들에서 여러 경로가 존재할 경우, 이러한 동적 경로의 구조는 세는 복잡도를 어떻게 증가시키는가?

주요 결과

• G(PD)2 네트워크 클래스에서는 어떤 세는 알고리즘도 네트워크 크기를 정확히 계산하기 위해 최소 Ω(log |V|) 라운드가 필요하다.
• 구분 불가능한 메시지 패tern(커널 벡터)이 서로 다른 네트워크 크기에서 동일한 리더 상태를 유도할 수 있음을 보여, 정확성의 위반이 발생함을 유도함으로써 하한이 유도된다.
• 이 결과는 동적 지름 D가 일정한 익명 동적 네트워크에서 세는 데 D + Ω(log |V|) 라운드가 필요하다는 것을 의미하며, 여기서 Ω(log |V|) 항은 익명성의 비용이다.
• 이것은 브로드캐스트와 무제한 대역폭을 갖춘 익명 간격 연결 네트워크에서 세는 데 대해 처음으로 비잔성 하한을 설정한 것이다.
• 동적 지름 D가 |V|에 대해 일정할지라도 이 하한은 유지되며, 익명성이 지속적인 시간 비용을 유발한다는 것을 보여준다.
• 노드들이 각 라운드 시작 시 자신의 차수를 알고 있다면 익명성의 비용은 제거될 수 있으며, 이는 최소 국소 지식이 복잡도를 극적으로 감소시킬 수 있음을 시사한다.