Stabilization, Safety, and Security of Distributed Systems: 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings

Front Matter....Pages -
Silence Is Golden: Self-stabilizing Protocols Communication-Efficient after Convergence....Pages 1-3
Computing in Time-Varying Networks....Pages 4-4
The K -Observer Problem in Computer Networks....Pages 5-18
Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems....Pages 19-31
An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn....Pages 32-46
Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example....Pages 47-61
Building Self-stabilizing Overlay Networks with the Transitive Closure Framework....Pages 62-76
Active Stabilization....Pages 77-91
Robot Networks with Homonyms: The Case of Patterns Formation....Pages 92-107
A Non-topological Proof for the Impossibility of k -Set Agreement....Pages 108-119
Formal Verification of Consensus Algorithms Tolerating Malicious Faults....Pages 120-134
The Computational Power of Simple Protocols for Self-awareness on Graphs....Pages 135-147
Self-stabilizing Labeling and Ranking in Ordered Trees....Pages 148-162
Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation....Pages 163-177
The South Zone: Distributed Algorithms for Alliances....Pages 178-192
Social Market: Combining Explicit and Implicit Social Networks....Pages 193-207
 TrumanBox : Improving Dynamic Malware Analysis by Emulating the Internet....Pages 208-222
Rendezvous Tunnel for Anonymous Publishing: Clean Slate and Tor Based Designs....Pages 223-237
Snake: Control Flow Distributed Software Transactional Memory....Pages 238-252
POLISH: Proactive Co-operative LInk Self-Healing for Wireless Sensor Networks....Pages 253-267
The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication....Pages 268-282
Price Stabilization in Networks — What Is an Appropriate Model ?....Pages 283-295
Dynamic Regular Registers in Systems with Churn....Pages 296-310
Space-Efficient Fault-Containment in Dynamic Networks....Pages 311-325
The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System....Pages 326-340
Relations Linking Failure Detectors Associated with k -Set Agreement in Message-Passing Systems....Pages 341-355
Corona: A Stabilizing Deterministic Message-Passing Skip List....Pages 356-370
Using Zero Knowledge to Share a Little Knowledge: Bootstrapping Trust in Device Networks....Pages 371-385
Conflict-Free Replicated Data Types....Pages 386-400
Analysis of DSR Protocol in Event-B....Pages 401-415
Self-Stabilizing De Bruijn Networks....Pages 416-430
Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks....Pages 431-432
Brief Announcement: A Stabilizing Algorithm for Finding Two Edge-Disjoint Paths in Arbitrary Graphs....Pages 433-434
Brief Announcement: Towards Interoperability Standards and Services for Autonomic Systems....Pages 435-436
Brief Announcement: Distributed Self-organizing Event Space Partitioning for Content-Based Publish/Subscribe Systems....Pages 437-438
Brief Announcement: A Note on Replication of Documents....Pages 439-440
Brief Announcement: A Stable and Robust Membership Protocol....Pages 441-442
Brief Announcement: Sorting on Skip Chains....Pages 443-444
Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems....Pages 445-446
Brief Announcement: Fault-Tolerant Object Location in Large Compute Clusters....Pages 447-448
Brief Announcement: Faster Gossiping in Bidirectional Radio Networks with Large Labels....Pages 449-450
Back Matter....Pages -