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

Stabilization, Safety, and Security of Distributed Systems

13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011, Proceedings

Editors:

  1. Xavier Défago

    1. School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), Ishikawa, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Franck Petit

    1. LIP6/INRIA/UPMC Sorbonne Universities, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Vincent Villain

    1. University of Picardie Jules Verne, Picardie, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

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

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

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 (41 papers)

  1. Front Matter

    PDF

  3. Computing in Time-Varying Networks

    • Nicola Santoro
    Pages 4-4

  4. The K-Observer Problem in Computer Networks

    • H. B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda
    Pages 5-18

  5. Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems

    • Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
    Pages 19-31

  6. An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn

    • Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad
    Pages 32-46

  7. Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example

    • Joffroy Beauquier, Peva Blanchard, Janna Burman, Sylvie Delaët
    Pages 47-61

  8. Building Self-stabilizing Overlay Networks with the Transitive Closure Framework

    • Andrew Berns, Sukumar Ghosh, Sriram V. Pemmaraju
    Pages 62-76

  9. Active Stabilization

    • Borzoo Bonakdarpour, Sandeep S. Kulkarni
    Pages 77-91

  10. Robot Networks with Homonyms: The Case of Patterns Formation

    • Zohir Bouzid, Anissa Lamani
    Pages 92-107

  11. A Non-topological Proof for the Impossibility of k-Set Agreement

    • Hagit Attiya, Armando Castañeda
    Pages 108-119

  12. Formal Verification of Consensus Algorithms Tolerating Malicious Faults

    • Bernadette Charron-Bost, Henri Debrat, Stephan Merz
    Pages 120-134

  13. The Computational Power of Simple Protocols for Self-awareness on Graphs

    • Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Paul G. Spirakis
    Pages 135-147

  14. Self-stabilizing Labeling and Ranking in Ordered Trees

    • Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
    Pages 148-162

  15. Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation

    • Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid
    Pages 163-177

  16. The South Zone: Distributed Algorithms for Alliances

    • M. C. Dourado, L. D. Penso, D. Rautenbach, J. L. Szwarcfiter
    Pages 178-192

  17. Social Market: Combining Explicit and Implicit Social Networks

    • Davide Frey, Arnaud Jégou, Anne-Marie Kermarrec
    Pages 193-207

  18. TrumanBox: Improving Dynamic Malware Analysis by Emulating the Internet

    • Christian Gorecki, Felix C. Freiling, Marc Kührer, Thorsten Holz
    Pages 208-222

  19. Rendezvous Tunnel for Anonymous Publishing: Clean Slate and Tor Based Designs

    • Ofer Hermoni, Niv Gilboa, Eyal Felstaine, Yuval Elovici, Shlomi Dolev
    Pages 223-237

  20. Snake: Control Flow Distributed Software Transactional Memory

    • Mohamed M. Saad, Binoy Ravindran
    Pages 238-252
Back to top

Other Volumes

  1. Stabilization, Safety, and Security of Distributed Systems

Back to top

About this book

This book constitutes the proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011, held in Grenoble, France, in October 2011. The 29 papers presented were carefully reviewed and selected from 79 submissions. They cover the following areas: ad-hoc, sensor, and peer-to-peer networks; safety and verification; security; self-organizing and autonomic systems; and self-stabilization.
Back to top

Keywords

Back to top

Editors and Affiliations

  • School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), Ishikawa, Japan

    Xavier Défago

  • LIP6/INRIA/UPMC Sorbonne Universities, Paris, France

    Franck Petit

  • University of Picardie Jules Verne, Picardie, France

    Vincent Villain

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