Stabilization, Safety, and Security of Distributed Systems: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings

Front Matter....Pages -
Communication-Efficient Self-stabilization in Wireless Networks....Pages 1-15
Self-stabilizing Local k -Placement of Replicas with Minimal Variance....Pages 16-30
Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles....Pages 31-42
 Brief Announcement : Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults....Pages 43-45
 Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network....Pages 46-48
On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings....Pages 49-63
Optimal Grid Exploration by Asynchronous Oblivious Robots....Pages 64-76
Terminating Population Protocols via Some Minimal Global Knowledge Assumptions....Pages 77-89
 Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer....Pages 90-91
 Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings....Pages 92-94
High-Level Executable Specifications of Distributed Algorithms....Pages 95-110
Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud....Pages 111-125
Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback....Pages 126-132
Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks....Pages 133-147
Self-stabilizing Distributed Data Fusion....Pages 148-162
From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering....Pages 163-178
 Brief Announcement: Verification of Stabilizing Programs with SMT Solvers....Pages 179-182
 Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems....Pages 183-186
Oblivious Assignment with m Slots....Pages 187-201
BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters....Pages 202-216
DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments....Pages 217-231
 Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems....Pages 232-235
 Brief Announcement: Arbitrators in the Security Infrastructure....Pages 236-238
Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems....Pages 239-252
Scalable Byzantine Agreement with a Random Beacon....Pages 253-265
On Finding Better Friends in Social Networks....Pages 266-278
 Brief Announcement: Detecting Users’ Connectivity on Online Social Networks....Pages 279-281
 Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols....Pages 282-284
All-to-All Gradecast Using Coding with Byzantine Failures....Pages 285-298
Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents....Pages 299-313
A Theory of Fault Recovery for Component-Based Models....Pages 314-328
Back Matter....Pages -