Skip to main content
SpringerLink
Log in

Stabilization, Safety, and Security of Distributed Systems

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

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Pascal Felber

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Vijay Garg

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: SSS 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  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. Postman: An Elastic Highly Resilient Publish/Subscribe Framework for Self Sustained Service Independent P2P Networks

    • Gil Einziger, Roy Friedman
    Pages 78-92

  8. A Self-stabilizing Algorithm for Edge Monitoring Problem

    • Brahim Neggazi, Mohammed Haddad, Volker Turau, Hamamache Kheddouci
    Pages 93-105

  9. Self-stabilizing Leader Election in Polynomial Steps

    • Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit
    Pages 106-119

  10. Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Networks

    • Glacet Christian, Hanusse Nicolas, Ilcinkas David, Johnen Colette
    Pages 120-134

  11. Self-synchronized Cooperative Beamforming in Ad-Hoc Networks

    • Thomas Janson, Christian Schindelhauer
    Pages 135-149

  12. Robots with Lights: Overcoming Obstructed Visibility Without Colliding

    • Giuseppe Antonio Di Luna, Paola Flocchini, Sruti Gan Chaudhuri, Nicola Santoro, Giovanni Viglietta
    Pages 150-164

  13. SMT-Based Synthesis of Distributed Self-stabilizing Systems

    • Fathiyeh Faghih, Borzoo Bonakdarpour
    Pages 165-179

  14. Stateless Stabilization Bootstrap (Extended Abstract)

    • Shlomi Dolev, Ramzi Martin Kahil, Reuven Yagel
    Pages 180-194

  15. Self-healing Computation

    • George Saad, Jared Saia
    Pages 195-210

  16. Optimal Gathering on Infinite Grids

    • Gabriele Di Stefano, Alfredo Navarra
    Pages 211-225

  17. Incremental Verification of Computing Policies

    • Ehab S. Elmallah, H. B. Acharya, Mohamed G. Gouda
    Pages 226-236

  18. 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

  19. Synthesizing Self-stabilization through Superposition and Backtracking

    • Alex Klinkhamer, Ali Ebnenasir
    Pages 252-267

  20. Configuration Hopping: A Secure Communication Protocol without Explicit Key Exchange

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

Other volumes

  1. Stabilization, Safety, and Security of Distributed Systems

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation