Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2014

Stabilization, Safety, and Security of Distributed Systems

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

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)

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

Conference proceedings info: SSS 2014.

Sections

Buy it now

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

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

Table of contents (23 papers)

  1. Front Matter

    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

  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

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation