Stabilization, Safety, and Security of Distributed Systems

9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

  • Editors
  • Toshimitsu Masuzawa
  • Sébastien Tixeuil
Conference proceedings SSS 2007

DOI: 10.1007/978-3-540-76627-8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4838)

Table of contents (30 papers)

  1. Front Matter
  2. Robots and Molecules
    Masafumi Yamashita
    Pages 3-3
  3. Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency
    Martin Biely, Martin Hutle, Lucia Draque Penso, Josef Widder
    Pages 4-20
  4. Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model
    Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad
    Pages 21-36
  5. Decentralized Detector Generation in Cooperative Intrusion Detection Systems
    Rainer Bye, Katja Luther, Seyit Ahmet Çamtepe, Tansu Alpcan, Şahin Albayrak, Bülent Yener
    Pages 37-51
  6. Stabilizing Flocking Via Leader Election in Robot Networks
    Davide Canepa, Maria Gradinariu Potop-Butucaru
    Pages 52-66
  7. Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems
    Eddy Caron, Frédéric Desprez, Franck Petit, Cédric Tedeschi
    Pages 82-96
  8. On the Performance of Dijkstra’s Third Self-stabilizing Algorithm for Mutual Exclusion
    Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks
    Pages 114-123
  9. Stability of the Multiple-Access Channel Under Maximum Broadcast Loads
    Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki
    Pages 124-138
  10. Stabilization of Flood Sequencing Protocols in Sensor Networks
    Young-ri Choi, Mohamed G. Gouda
    Pages 139-153
  11. Stabilization of Loop-Free Redundant Routing
    Jorge A. Cobb
    Pages 154-172
  12. Secure Failure Detection in TrustedPals
    Roberto Cortiñas, Felix C. Freiling, Marjan Ghajar-Azadanlou, Alberto Lafuente, Mikel Larrea, Lucia Draque Penso et al.
    Pages 173-188
  13. Probabilistic Fault-Containment
    Anurag Dasgupta, Sukumar Ghosh, Xin Xiao
    Pages 189-203
  14. Self* Minimum Connected Covers of Query Regions in Sensor Networks
    Ajoy K. Datta, Maria Gradinariu Potop-Butucaru, Rajesh Patel, Ai Yamazaki
    Pages 204-218
  15. Robust Stabilizing Leader Election
    Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier
    Pages 219-233
  16. Byzantine Self-stabilizing Pulse in a Bounded-Delay Model
    Danny Dolev, Ezra N. Hoch
    Pages 234-252

About these proceedings

Keywords

Routing algorithm algorithms autonomic systems configuration data and code stabilization fault programming reliable and dependable systems robot security self-assembling systems self-managed systems self-stabilizing systems semantics of trust

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-76626-1
  • Online ISBN 978-3-540-76627-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349