Leader election algorithms for wireless ad hoc networks

被引:34
作者
Vasudevan, S [1 ]
DeCleene, B [1 ]
Immerman, N [1 ]
Kurose, J [1 ]
Towsley, D [1 ]
机构
[1] Univ Massachusetts, Dept Comp Sci, Amherst, MA 01003 USA
来源
DARPA INFORMATION SURVIVABILITY CONFERENCE AND EXPOSITION, VOL I, PROCEEDINGS | 2003年
关键词
wireless ad hoc networks; secure leader election; network protocols; formal specification and verification; self-stabilization;
D O I
10.1109/DISCEX.2003.1194890
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We consider the problem of secure leader election and propose two cheat-proof election algorithms : Secure Extrema Finding Algorithm (SEFA) and Secure Preference-based Leader Election Algorithm (SPLEA). Both algorithms assume a synchronous distributed system in which the various rounds of election proceed in a lock-step fashion. SEFA assumes that all elector-nodes share a single common evaluation function that returns the same value at any elector-node when applied to a given candidate-node. When elector-nodes can have different preferences for a candidate-node, the scenario becomes more complicated. Our Secure Preference-based Leader Election Algorithm (SPLEA) deals with this case. Here, individual utility functions at each elector-node determine an elector-node's preference for a given candidate-node. We relax the assumption of a synchronous distributed system in our Asynchronous Extrema Finding Algorithm (AEFA) and also allow the topology to change during the election process. In AEFA, nodes can start the process of election at different times, but eventually after topological changes stop long enough for the algorithm to terminate, all nodes agree on a unique leader Our algorithm has been proven to be "weakly" self-stabilizing.
引用
收藏
页码:261 / 272
页数:12
相关论文
共 28 条
[1]   The local detection paradigm and its applications to self-stabilization [J].
Afek, Y ;
Kutten, S ;
Yung, M .
THEORETICAL COMPUTER SCIENCE, 1997, 186 (1-2) :199-229
[2]  
[Anonymous], P MOBICOM 99 SEATTL
[3]   DISTRIBUTED RESET [J].
ARORA, A ;
GOUDA, M .
IEEE TRANSACTIONS ON COMPUTERS, 1994, 43 (09) :1026-1038
[4]  
ARORA A, 2001, P 21 INT C DISTR COM
[5]   Design and analysis of dynamic leader election protocols in broadcast networks [J].
Brunekreef, J ;
Katoen, JP ;
Koymans, R ;
Mauw, S .
DISTRIBUTED COMPUTING, 1996, 9 (04) :157-171
[6]  
COORE D, 1997, 1614 MIT ART INT LAB
[7]  
DeCleene B., 2001, P MILCOM 2001 VA OCT
[8]   TERMINATION DETECTION FOR DIFFUSING COMPUTATIONS [J].
DIJKSTRA, EW ;
SCHOLTEN, CS .
INFORMATION PROCESSING LETTERS, 1980, 11 (01) :1-4
[9]  
DIJKSTRA EW, 1974, COMMUN ACM, V17, P634
[10]  
DOLEV S, 1993, LNCS, V579, P167