Stabilization, Safety, and Security of Distributed Systems

13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings

  • Xavier Défago
  • Franck Petit
  • Vincent Villain
Conference proceedings SSS 2011

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

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

Table of contents (41 papers)

  1. Front Matter
  2. Nicola Santoro
    Pages 4-4
  3. H. B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda
    Pages 5-18
  4. Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
    Pages 19-31
  5. Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad
    Pages 32-46
  6. Joffroy Beauquier, Peva Blanchard, Janna Burman, Sylvie Delaët
    Pages 47-61
  7. Andrew Berns, Sukumar Ghosh, Sriram V. Pemmaraju
    Pages 62-76
  8. Borzoo Bonakdarpour, Sandeep S. Kulkarni
    Pages 77-91
  9. Zohir Bouzid, Anissa Lamani
    Pages 92-107
  10. Hagit Attiya, Armando Castañeda
    Pages 108-119
  11. Bernadette Charron-Bost, Henri Debrat, Stephan Merz
    Pages 120-134
  12. Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Paul G. Spirakis
    Pages 135-147
  13. Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
    Pages 148-162
  14. Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid
    Pages 163-177
  15. M. C. Dourado, L. D. Penso, D. Rautenbach, J. L. Szwarcfiter
    Pages 178-192
  16. Davide Frey, Arnaud Jégou, Anne-Marie Kermarrec
    Pages 193-207
  17. Christian Gorecki, Felix C. Freiling, Marc Kührer, Thorsten Holz
    Pages 208-222
  18. Ofer Hermoni, Niv Gilboa, Eyal Felstaine, Yuval Elovici, Shlomi Dolev
    Pages 223-237
  19. Mohamed M. Saad, Binoy Ravindran
    Pages 238-252

About these proceedings

Introduction

This book constitutes the proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011, held in Grenoble, France, in October 2011.
The 29 papers presented were carefully reviewed and selected from 79 submissions. They cover the following areas: ad-hoc, sensor, and peer-to-peer networks; safety and verification; security; self-organizing and autonomic systems; and self-stabilization.

Keywords

dynamic networks fault-tolerance formal methods reactive systems zero-knowledge

Editors and affiliations

  • Xavier Défago
    • 1
  • Franck Petit
    • 2
  • Vincent Villain
    • 3
  1. 1.School of Information ScienceJapan Advanced Institute of Science and Technology (JAIST)IshikawaJapan
  2. 2.LIP6/INRIA/UPMC Sorbonne UniversitiesParisFrance
  3. 3.University of Picardie Jules VernePicardieFrance

Bibliographic information

  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-24549-7
  • Online ISBN 978-3-642-24550-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349