Stabilization, Safety, and Security of Distributed Systems

14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings

  • Andréa W. Richa
  • Christian Scheideler
Conference proceedings SSS 2012
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7596)

Table of contents

  1. Front Matter
  2. Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    Pages 1-15
  3. Sven Köhler, Volker Turau, Gerhard Mentges
    Pages 16-30
  4. Brahim Neggazi, Mohammed Haddad, Hamamache Kheddouci
    Pages 31-42
  5. Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore
    Pages 46-48
  6. Fukuhito Ooshita, Sébastien Tixeuil
    Pages 49-63
  7. Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
    Pages 64-76
  8. Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis
    Pages 77-89
  9. Matthias Függer, Alexander Kößler, Thomas Nowak, Martin Zeiner
    Pages 90-91
  10. Tomoko Izumi, Yukiko Yamauchi, Sayaka Kamei
    Pages 92-94
  11. Yanhong A. Liu, Scott D. Stoller, Bo Lin
    Pages 95-110
  12. Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi
    Pages 111-125
  13. Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller, Shantanu Sharma
    Pages 133-147
  14. Bertrand Ducourthial, Véronique Cherfaoui, Thierry Denoeux
    Pages 148-162
  15. Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna
    Pages 187-201

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2012, held in Toronto, Canada, in October 2012. The 21 full papers and 10 brief announcements presented in this volume were carefully reviewed and selected from 75 submissions. The conference provides a wide spectrum of topics, covered in the following tracks: self-stabilization, ad-hoc and sensor networks, fault-tolerance and dependable systems, safety and security, cloud computing, formal methods, social networks, peer-to-peer, self-organizing and autonomic systems.

Keywords

dependable systems dynamic networks model checking self-managing systems vehicular networking

Editors and affiliations

  • Andréa W. Richa
    • 1
  • Christian Scheideler
    • 2
  1. 1.School of Computing, Informatics, and Decision Systems EngineeringArizona State UniversityTempeUSA
  2. 2.Department of Computer ScienceUniversity of PaderbornPaderbornGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-33536-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33535-8
  • Online ISBN 978-3-642-33536-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349