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

DOI: 10.1007/978-3-642-16023-3

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

About these proceedings

Introduction

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).

Keywords

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-ShevaIsrael84105
  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

  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16022-6
  • Online ISBN 978-3-642-16023-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349