Skip to main content
  • Conference proceedings
  • © 2014

Stabilization, Safety, and Security of Distributed Systems

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

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): SSS: International Symposium on Stabilizing, Safety, and Security of Distributed Systems

Conference proceedings info: SSS 2014.

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-11764-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 69.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (23 papers)

  1. Front Matter

  2. Separating Data and Control: Asynchronous BFT Storage with 2t + 1 Data Replicas

    • Christian Cachin, Dan Dobre, Marko Vukolić
    Pages 1-17
  3. On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms

    • Lélia Blin, Pierre Fraigniaud, Boaz Patt-Shamir
    Pages 18-32
  4. On the Resilience of Pull-Based P2P Streaming Systems against DoS Attacks

    • Giang Nguyen, Mathias Fischer, Thorsten Strufe
    Pages 33-47
  5. On Stabilizing Departures in Overlay Networks

    • Dianne Foreback, Andreas Koutsopoulos, Mikhail Nesterenko, Christian Scheideler, Thim Strothmann
    Pages 48-62
  6. CloudSylla: Detecting Suspicious System Calls in the Cloud

    • Marc Kührer, Johannes Hoffmann, Thorsten Holz
    Pages 63-77
  7. A Self-stabilizing Algorithm for Edge Monitoring Problem

    • Brahim Neggazi, Mohammed Haddad, Volker Turau, Hamamache Kheddouci
    Pages 93-105
  8. Self-stabilizing Leader Election in Polynomial Steps

    • Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit
    Pages 106-119
  9. Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Networks

    • Glacet Christian, Hanusse Nicolas, Ilcinkas David, Johnen Colette
    Pages 120-134
  10. Self-synchronized Cooperative Beamforming in Ad-Hoc Networks

    • Thomas Janson, Christian Schindelhauer
    Pages 135-149
  11. Robots with Lights: Overcoming Obstructed Visibility Without Colliding

    • Giuseppe Antonio Di Luna, Paola Flocchini, Sruti Gan Chaudhuri, Nicola Santoro, Giovanni Viglietta
    Pages 150-164
  12. SMT-Based Synthesis of Distributed Self-stabilizing Systems

    • Fathiyeh Faghih, Borzoo Bonakdarpour
    Pages 165-179
  13. Stateless Stabilization Bootstrap (Extended Abstract)

    • Shlomi Dolev, Ramzi Martin Kahil, Reuven Yagel
    Pages 180-194
  14. Self-healing Computation

    • George Saad, Jared Saia
    Pages 195-210
  15. Optimal Gathering on Infinite Grids

    • Gabriele Di Stefano, Alfredo Navarra
    Pages 211-225
  16. Incremental Verification of Computing Policies

    • Ehab S. Elmallah, H. B. Acharya, Mohamed G. Gouda
    Pages 226-236
  17. On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering

    • Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
    Pages 237-251
  18. Synthesizing Self-stabilization through Superposition and Backtracking

    • Alex Klinkhamer, Ali Ebnenasir
    Pages 252-267
  19. Configuration Hopping: A Secure Communication Protocol without Explicit Key Exchange

    • Yue Qiao, Kannan Srinivasan, Anish Arora
    Pages 268-282

Other Volumes

  1. Stabilization, Safety, and Security of Distributed Systems

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

About this book

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
  • algorithm analysis and problem complexity

Editors and Affiliations

  • Institut d’informatique, Université de Neuchâtel, Neuchâtel, Switzerland

    Pascal Felber

  • Electrical and Computer Engineering Department, University of Texas at Austin, Austin, USA

    Vijay Garg

Bibliographic Information

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-11764-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 69.99
Price excludes VAT (USA)