Stabilization, Safety, and Security of Distributed Systems

12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings

  • Shlomi Dolev
  • Jorge Cobb
  • Michael Fischer
  • Moti Yung
Conference proceedings SSS 2010

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

Table of contents

  1. Front Matter
  2. Invited Talks Abstracts

  3. Contributed Papers

    1. Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis
      Pages 4-18
    2. Ezra N. Hoch, Michael Ben-Or, Danny Dolev
      Pages 19-34
    3. Ajoy K. Datta, Lawrence L. Larmore, Hema Piniganti
      Pages 35-49
    4. Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil
      Pages 50-64
    5. Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
      Pages 96-110
    6. Jean Blair, Fredrik Manne, Rodica Mihai
      Pages 111-125
    7. Yukiko Yamauchi, Toshimitsu Masuzawa, Doina Bein
      Pages 126-140
    8. S. Dov Gordon, Jonathan Katz, Ranjit Kumaresan, Arkady Yerukhimovich
      Pages 144-158
    9. Tuan Manh Vu, Reihaneh Safavi-Naini, Carey Williamson
      Pages 159-175
    10. Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni
      Pages 176-190
    11. Anurag Agarwal, Vijay K. Garg, Vinit Ogale
      Pages 191-205
    12. Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis
      Pages 221-235
    13. Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis
      Pages 252-266
    14. Matthew P. Johnson, Amotz Bar-Noy, Mani Srivastava
      Pages 282-284
    15. H. B. Acharya, Mohamed Gouda
      Pages 285-287
    16. Stéphane Pomportes, Joanna Tomasik, Anthony Busson, Véronique Vèque
      Pages 288-302
    17. Amos Israeli, Mathew D. McCubbins, Ramamohan Paturi, Andrea Vattani
      Pages 303-318
    18. Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
      Pages 319-331
    19. Andrei Giurgiu, Rachid Guerraoui, Kévin Huguenin, Anne-Marie Kermarrec
      Pages 332-346
    20. Eli Gafni, Sergio Rajsbaum
      Pages 362-376
    21. Damien Imbs, Michel Raynal
      Pages 377-387
    22. Jons-Tobias Wamhoff, Torvald Riegel, Christof Fetzer, Pascal Felber
      Pages 388-404
    23. Hagit Attiya, Vincent Gramoli, Alessia Milani
      Pages 405-419
    24. Bo Jiang, Binoy Ravindran, Changsoo Kim
      Pages 420-434
    25. Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier
      Pages 435-451
    26. Pierre Leone, Marina Papatriantafilou, Elad M. Schiller, Gongxi Zhu
      Pages 468-488
    27. Heverson B. Ribeiro, Emmanuelle Anceaume
      Pages 489-503
    28. Mathieu Valero, Luciana Arantes, Maria Gradinariu, Pierre Sens
      Pages 504-518
    29. Yaser Houri, Bernhard Amann, Thomas Fuhrmann
      Pages 519-530
    30. Samuel Bernard, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
      Pages 531-545
    31. Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain
      Pages 546-559
    32. Vedant Misra, Dion Harmon, Yaneer Bar-Yam
      Pages 560-572
    33. Dana Angluin, James Aspnes, Rida A. Bazzi, Jiang Chen, David Eisenstat, Goran Konjevod
      Pages 573-587
    34. Taylor Johnson, Sayan Mitra
      Pages 588-602
  4. Back Matter

About these proceedings


The papers in this volume were presented at the 12th International Sym- sium on Stabilization, Safety, and Security of Distributed Systems (SSS), held September 20–22, 2010 at Columbia University, NYC, USA. The SSS symposium is an international forum for researchersand practiti- ers in the design and development of distributed systems with self-* properties: (theclassical)self-stabilizing,self-con?guring,self-organizing,self-managing,se- repairing,self-healing,self-optimizing,self-adaptive,andself-protecting. Research in distributed systems is now at a crucial point in its evolution, marked by the importance of dynamic systems such as peer-to-peer networks, large-scale wi- lesssensornetworks,mobileadhocnetworks,cloudcomputing,roboticnetworks, etc. Moreover, new applications such as grid and web services, banking and- commerce, e-health and robotics, aerospaceand avionics, automotive, industrial process control, etc. , have joined the traditional applications of distributed s- tems. SSS started as the Workshop on Self-Stabilizing Systems (WSS), the ?rst two of which were held in Austin in 1989 and in Las Vegas in 1995. Starting in 1995, the workshop began to be held biennially; it was held in Santa Barbara (1997), Austin (1999), and Lisbon (2001). As interest grew and the community expanded, the title of the forum was changed in 2003 to the Symposium on Self- Stabilizing Systems (SSS). SSS was organized in San Francisco in 2003 and in Barcelona in 2005. As SSS broadened its scope and attracted researchers from other communities, a couple of changes were made in 2006. It became an - nual event, and the name of the conference was changed to the International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS).


Peer adaptive systems anonymous networks asynchronous systems broadcasting cloud computing security component-based modeling distributed algorithms distributed systems dynamic networks network security self-stabilization transactional scheduling vulnerability detection

Editors and affiliations

  • Shlomi Dolev
    • 1
  • Jorge Cobb
    • 2
  • Michael Fischer
    • 3
  • Moti Yung
    • 4
  1. 1.Department of Computer ScienceBen-Gurion University of the Negev,Beer-ShevaIsrael
  2. 2.Department of Computer ScienceThe University of Texas at DallasRichardsonUSA
  3. 3.Department of Computer ScienceYale UniversityNew HavenUSA
  4. 4.Department of Computer ScienceColumbia UniversityNew York, NYUSA

Bibliographic information

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment