Skip to main content
  • Conference proceedings
  • © 2009

Stabilization, Safety, and Security of Distributed Systems

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

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): SSS: International Symposium on Stabilizing, Safety, and Security of Distributed Systems

Conference proceedings info: SSS 2009.

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (66 papers)

  1. Front Matter

  2. Invited Talks

    1. Local Algorithms: Self-stabilization on Speed

      • Christoph Lenzen, Jukka Suomela, Roger Wattenhofer
      Pages 17-34
  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

Other Volumes

  1. Stabilization, Safety, and Security of Distributed Systems

About this book

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
  • algorithm analysis and problem complexity

Editors and Affiliations

  • Ecole Polytechnique Fédérale de Lausanne, Lausanne, Switzerland

    Rachid Guerraoui

  • LIP, ENS Lyon, Lyon cedex 07, France

    Franck Petit

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions