Stabilization, Safety, and Security of Distributed Systems

11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings

  • Rachid Guerraoui
  • Franck Petit
Conference proceedings SSS 2009

DOI: 10.1007/978-3-642-05118-0

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

Table of contents (66 papers)

  1. Front Matter
  2. Invited Talks

  3. Regular Papers

    1. Multicore Constraint-Based Automated Stabilization
      Fuad Abujarad, Sandeep S. Kulkarni
      Pages 47-61
    2. A Theory of Network Tracing
      Hrishikesh B. Acharya, Mohamed G. Gouda
      Pages 62-74
    3. Developing Autonomic and Secure Virtual Organisations with Chemical Programming
      Alvaro E. Arenas, Jean-Pierre Banâtre, Thierry Priol
      Pages 75-89
    4. Making Population Protocols Self-stabilizing
      Joffroy Beauquier, Janna Burman, Shay Kutten
      Pages 90-104
    5. Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
      Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer
      Pages 105-119
    6. Consensus When All Processes May Be Byzantine for Some Time
      Martin Biely, Martin Hutle
      Pages 120-132
    7. A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees
      Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis
      Pages 133-148
    8. Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks
      Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
      Pages 165-179
    9. FoG: Fighting the Achilles’ Heel of Gossip Protocols with Fountain Codes
      Mary-Luc Champel, Anne-Marie Kermarrec, Nicolas Le Scouarnec
      Pages 180-194
    10. How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity?
      Alain Cournier, Swan Dubois, Vincent Villain
      Pages 195-208
    11. Fault-Containment in Weakly-Stabilizing Systems
      Anurag Dasgupta, Sukumar Ghosh, Xin Xiao
      Pages 209-223
    12. Stability of Distributed Algorithms in the Face of Incessant Faults
      Robert E. Lee DeVille, Sayan Mitra
      Pages 224-237
    13. Dependability Engineering of Silent Self-stabilizing Systems
      Abhishek Dhama, Oliver Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker
      Pages 238-253
    14. Efficient Robust Storage Using Secret Tokens
      Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri
      Pages 269-283

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2009, held in Lyon, France, in November 2009.

The 49 revised full papers and 14 brief announcements presented together with three invited talks were carefully reviewed and selected from 126 submissions. The papers address all safety and security-related aspects of self-stabilizing systems in various areas. The most topics related to self-* systems. The special topics were alternative systems and models, autonomic computational science, cloud computing, embedded systems, fault-tolerance in distributed systems / dependability, formal methods in distributed systems, grid computing, mobility and dynamic networks, multicore computing, peer-to-peer systems, self-organizing systems, sensor networks, stabilization, and system safety and security.

Keywords

Design MANET Scheduling adaptive systems algorithms asynchronous systems channel allocation complexity distributed algorithms distributed systems embedded systems graphs interference robot security

Editors and affiliations

  • Rachid Guerraoui
    • 1
  • Franck Petit
    • 2
  1. 1.Ecole Polytechnique Fédérale de LausanneLausanneSwitzerland
  2. 2.LIPENS LyonLyon cedex 07France

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-05117-3
  • Online ISBN 978-3-642-05118-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349