Of malicious motes and suspicious sensors

  • Authors:
  • Seth Gilbert;Rachid Guerraoui;Calvin Newport

  • Affiliations:
  • École Polytechnique Fédérale de Lausanne, 1015 Lausanne, Switzerland;École Polytechnique Fédérale de Lausanne, 1015 Lausanne, Switzerland;Massachusetts Institute of Technology, Cambridge, MA 02139, USA

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2009

Quantified Score

Hi-index 5.23

Visualization

Abstract

How efficiently can a malicious device disrupt a single-hop wireless network? Imagine two honest players attempting to exchange information in the presence of a malicious adversary that can disrupt communication by jamming or overwriting messages. Assume the adversary has a broadcast budget of @b-unknown to the honest players. We show that communication can be delayed for 2@b+@Q(lg|V|) rounds, where V is the set of values that the honest players may transmit. We then derive, via reduction to this 3-player game, round complexity lower bounds for several classical n-player problems: 2@b+@W(lg|V|) for reliable broadcast, 2@b+@W(logn) for leader election, and 2@b+@W(klg|V|/k) for static k-selection. We also consider an extension of our adversary model that includes up to t crash failures. Here we show a bound of 2@b+@Q(t) rounds for binary consensus. We provide tight, or nearly tight, upper bounds for all four problems. From these results we can derive bounds on the efficiency of malicious disruption, stated in terms of two new metrics: jamming gain (the ratio of rounds delayed to adversarial broadcasts) and disruption-free complexity (the rounds required to terminate in the special case of no disruption). Two key conclusions of this study: (1) all the problems considered feature semantic vulnerabilities that allow an adversary to disrupt termination more efficiently than simple jamming (i.e., all have a jamming gain greater than 1); and (2) for all the problems considered, the round complexity grows linearly with the number of bits to be communicated (i.e., all have a @W(lg|V|) or @W(lgn) disruption-free complexity.)