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

Description

This book constitutes the refereed proceedings of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2012, held in Toronto, Canada, in October 2012. The 21 full papers and 10 brief announcements presented in this volume were carefully reviewed and selected from 75 submissions. The conference provides a wide spectrum of topics, covered in the following tracks: self-stabilization, ad-hoc and sensor networks, fault-tolerance and dependable systems, safety and security, cloud computing, formal methods, social networks, peer-to-peer, self-organizing and autonomic systems. 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 -