Stabilization, Safety, and Security of Distributed Systems

17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings

  • Andrzej Pelc
  • Alexander A. Schwarzmann
Conference proceedings SSS 2015

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9212)

Table of contents

  1. Front Matter
    Pages I-XXI
  2. Keynote Lecture

    1. Front Matter
      Pages 1-1
  3. Regular Papers

    1. Front Matter
      Pages 19-19
    2. Swan Dubois, Mohamed-Hamza Kaaouachi, Franck Petit
      Pages 51-66
    3. Leszek Gąsieniec, David D. Hamilton, Russell Martin, Paul G. Spirakis
      Pages 67-80
    4. Benjamin Ries, Bernhard Schamberg, Walter Unger
      Pages 81-93
    5. Dan Brownstein, Shlomi Dolev, Niv Gilboa
      Pages 94-108
    6. Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn J. H. Heule, Ehab S. Elmallah
      Pages 109-123
    7. Damien Imbs, Sergio Rajsbaum, Adrián Valle
      Pages 139-155
    8. Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil
      Pages 156-170
    9. Bao-Thien Hoang, Abdessamad Imine
      Pages 171-186
    10. Colin Cooper, Anissa Lamani, Giovanni Viglietta, Masafumi Yamashita, Yukiko Yamauchi
      Pages 187-200
    11. Andreas Koutsopoulos, Christian Scheideler, Thim Strothmann
      Pages 201-216
    12. Ling Zhu, Jingshu Chen, Sandeep Kulkarni
      Pages 217-232
    13. Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, Elad M. Schiller
      Pages 248-264
  4. Back Matter
    Pages 265-288

About these proceedings


This book constitutes the refereed proceedings of the 17 International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2015, held in Edmonton, AB, Canada, in August 2015. The 16 regular papers presented together with 8 brief announcements and 3 keynote lectures were carefully reviewed and selected from 38 submissions. The Symposium is organized in several tracks, reflecting topics to self-*properties. The tracks are self-stabilization; fault-tolerance and dependability; ad-hoc and sensor networks; mobile agents; system security in distributed computing; and formal methods and distributed algorithms.


access control deterministic execution distributed algorithm distributed computing distributed systems dynamic networks fault-tolerance firewalls formal methods functional encryption mobile agents routing self-adjusting algorithms self-stabilization sensor networks smart grid social networks synchronous system system security trusted third party

Editors and affiliations

  • Andrzej Pelc
    • 1
  • Alexander A. Schwarzmann
    • 2
  1. 1.Université du Québec en OutaouaisGatineau, QCCanada
  2. 2.University of ConnecticutStorrsUSA

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-21740-6
  • Online ISBN 978-3-319-21741-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences