Stabilization, Safety, and Security of Distributed Systems

16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings

  • Pascal Felber
  • Vijay Garg
Conference proceedings SSS 2014

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

Table of contents

  1. Front Matter
  2. Christian Cachin, Dan Dobre, Marko Vukolić
    Pages 1-17
  3. Lélia Blin, Pierre Fraigniaud, Boaz Patt-Shamir
    Pages 18-32
  4. Giang Nguyen, Mathias Fischer, Thorsten Strufe
    Pages 33-47
  5. Dianne Foreback, Andreas Koutsopoulos, Mikhail Nesterenko, Christian Scheideler, Thim Strothmann
    Pages 48-62
  6. Marc Kührer, Johannes Hoffmann, Thorsten Holz
    Pages 63-77
  7. Brahim Neggazi, Mohammed Haddad, Volker Turau, Hamamache Kheddouci
    Pages 93-105
  8. Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit
    Pages 106-119
  9. Glacet Christian, Hanusse Nicolas, Ilcinkas David, Johnen Colette
    Pages 120-134
  10. Thomas Janson, Christian Schindelhauer
    Pages 135-149
  11. Giuseppe Antonio Di Luna, Paola Flocchini, Sruti Gan Chaudhuri, Nicola Santoro, Giovanni Viglietta
    Pages 150-164
  12. Fathiyeh Faghih, Borzoo Bonakdarpour
    Pages 165-179
  13. Shlomi Dolev, Ramzi Martin Kahil, Reuven Yagel
    Pages 180-194
  14. George Saad, Jared Saia
    Pages 195-210
  15. Gabriele Di Stefano, Alfredo Navarra
    Pages 211-225
  16. Ehab S. Elmallah, H. B. Acharya, Mohamed G. Gouda
    Pages 226-236
  17. Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
    Pages 237-251
  18. Alex Klinkhamer, Ali Ebnenasir
    Pages 252-267
  19. Yue Qiao, Kannan Srinivasan, Anish Arora
    Pages 268-282

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 16 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in September/October 2014. The 21 regular papers and 8 short papers presented were carefully reviewed and selected from 44 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization; ad-hoc; sensor and mobile networks; cyberphysical systems; fault-tolerant and dependable systems; formal methods; safety and security; and cloud computing; P2P; self-organizing; and autonomous systems.

Keywords

DoS attacks dependable and fault-tolerant systems and networks design and analysis of algorithms distributed systems dynamic networks embedded and cyber-physical systems fault tolerance formal methods and theory of security mobile computing model checking models of computation network algorithms network security robustness self-stabilization wireless sensor networks

Editors and affiliations

  • Pascal Felber
    • 1
  • Vijay Garg
    • 2
  1. 1.Institut d’informatiqueUniversité de NeuchâtelNeuchâtelSwitzerland
  2. 2.Electrical and Computer Engineering DepartmentUniversity of Texas at AustinAustinUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-11764-5
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-11763-8
  • Online ISBN 978-3-319-11764-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book