Stabilization, Safety, and Security of Distributed Systems: 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings (Lecture Notes in Computer Science, 5340)

This book constitutes the refereed proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2008, held in Detroit, MI, USA, in November 2008. The 17 revised full papers presented together with the abstracts of 3 invited lectures were carefully reviewed and selected from 43 submissions. The papers address all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing including peer-to-peer networks, wireless sensor networks, mobile ad-hoc networks, and robotic networks. The papers are organized in topical sections on MAC layer protocols, wireless networks, stabilizing algorithms, as well as security and system models. This volume contains the proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), held November 21–23, 2008 in Detroit, Michigan USA. SSS started as the Workshop on Self-Stabilizing Systems (WSS), which was?rst held at Austin in 1989. From the second WSS in Las Vegas in 1995, the - rum was held biennially, at Santa Barbara(1997),Austin (1999), Lisbon (2001), San Francisco (2003) and Barcelona (2005). The title of the forum changed to the Symposium on Self-Stabilizing Systems (SSS) in 2003. Since 2005, SSS was run annually, and in 2006 (Dallas) the scope of the conference was extended to cover all safety and security-related aspects of self-• systems. This extension followed the demand for self-stabilization in various areas of distributed c- puting including peer-to-peer networks, wireless sensor networks, mobile ad-hoc networks, robotic networks. To re?ect this change, the name of the symposium changed to the International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). This year we received 43 submissions from 13 countries. Most submissions were from the USA and France. Each submission was carefully reviewed by three to six Program Committee members with the help of external reviewers. For the?rst time a rebuttal phase allowed the authors to react to the reviews beforethediscussionofthepaperswithintheProgramCommittee. Outofthe43 submissions,17excellentpaperswereselectedforpresentationatthesymposium, whichcorrespondsto anacceptancerateof40%. Itcanbenotedthatthehighest acceptance rate was for papers with keywordssensor networks (86%),MANETs (67%),andsecurityof sensorandmobile networksprotocols (67%). Front Matter....Pages - Keynote: Primitives for Physical Trust....Pages 1-1 Keynote: Trustworthy Services and the Biological Analogy....Pages 2-2 Keynote: Distributed Algorithms and VLSI....Pages 3-3 A Distributed and Deterministic TDMA Algorithm for Write-All-With-Collision Model....Pages 4-18 Distance-2 Self-stabilizing Algorithm for a b-Coloring of Graphs....Pages 19-31 Duty Cycle Stabilization in Semi-mobile Wireless Networks....Pages 32-46 DISH: Distributed Self-Healing....Pages 47-62 Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks....Pages 63-78 Self-stabilizing Numerical Iterative Computation....Pages 79-93 A Self-stabilizing $\frac{2}{3}$ -Approximation Algorithm for the Maximum Matching Problem....Pages 94-108 Self-Stabilizing Leader Election in Optimal Space....Pages 109-123 Tiara: A Self-stabilizing Deterministic Skip List....Pages 124-140 Local Synchronization on Oriented Rings....Pages 141-155 Stabilization of Max-Min Fair Networks without Per-flow State....Pages 156-172 Convergence Time Analysis of Self-stabilizing Algorithms in Wireless Sensor Networks with Unreliable Links....Pages 173-187 Self-stabilizing Mobile Robot Formations with Virtual Nodes....Pages 188-202 An Application of Specification-Based Design of Self-stabilization to Tracking in Wireless Sensor Networks....Pages 203-217 Our Brothers’ Keepers: Secure Routing with High Performance....Pages 218-232 Pharewell to Phishing....Pages 233-245 The Asynchronous Bounded-Cycle Model....Pages 246-262 Tutorial Abstract Virtual Infrastructure....Pages 263-264 Back Matter....Pages - Sandeep Kulkarni, André Schiper (eds.). Includes Bibliographical References And Author Index. Also Available Online.