Stabilization, Safety, And Security Of Distributed Systems: 9th International Symposium, Sss 2007, Paris, France, November 14-16, 2007 : Proceedings Sss 2007

This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, held in Paris, France, November 14-16, 2007. The 27 regular papers presented together with the extended abstracts of 3 invited lectures were carefully reviewed and selected from 64 submissions. The papers address all aspects of self-stabilization, safety and security, recovery oriented systems and programing, from theoretical contributions, to reports of the actual experience of applying the principles of self-stabilization to static and dynamic systems. Front Matter....Pages - The Power of Cryptographic Attacks: Is Your Network Really Secure Against Side Channels Attacks and Malicious Faults?....Pages 1-1 Role-Based Self-configuration of Sensor Networks....Pages 2-2 Robots and Molecules....Pages 3-3 Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency....Pages 4-20 Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model....Pages 21-36 Decentralized Detector Generation in Cooperative Intrusion Detection Systems....Pages 37-51 Stabilizing Flocking Via Leader Election in Robot Networks....Pages 52-66 Stabilization in Dynamic Systems with Varying Equilibrium....Pages 67-81 Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems....Pages 82-96 Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance....Pages 97-113 On the Performance of Dijkstra’s Third Self-stabilizing Algorithm for Mutual Exclusion....Pages 114-123 Stability of the Multiple-Access Channel Under Maximum Broadcast Loads....Pages 124-138 Stabilization of Flood Sequencing Protocols in Sensor Networks....Pages 139-153 Stabilization of Loop-Free Redundant Routing....Pages 154-172 Secure Failure Detection in TrustedPals....Pages 173-188 Probabilistic Fault-Containment....Pages 189-203 Self* Minimum Connected Covers of Query Regions in Sensor Networks....Pages 204-218 Robust Stabilizing Leader Election....Pages 219-233 Byzantine Self-stabilizing Pulse in a Bounded-Delay Model....Pages 234-252 Magnifying Computing Gaps Establishing Encrypted Communication over Unidirectional Channels (Extended Abstract)....Pages 253-265 Stabilizing Trust and Reputation for Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract)....Pages 266-280 r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks....Pages 281-295 Global Predicate Detection in Distributed Systems with Small Faults....Pages 296-310 The Truth System: Can a System of Lying Processes Stabilize?....Pages 311-324 Temporal Partition in Sensor Networks....Pages 325-339 Secure and Self-stabilizing Clock Synchronization in Sensor Networks....Pages 340-356 On the Probabilistic Omission Adversary....Pages 357-371 Upper Bounds for Stabilization in Acyclic Preference-Based Systems....Pages 372-382 A Self-stabilizing Weighted Matching Algorithm....Pages 383-393 Self-stabilization and Virtual Node Layer Emulations....Pages 394-408 Back Matter....Pages - This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November 2013. The 23 regular papers and 12 short papers presented were carefully reviewed and selected from 68 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization, fault tolerance and dependability; formal methods and distributed systems; ad-hoc, sensors, mobile agents and robot networks, and P2P, social, self-organizing, autonomic and opportunistic networks. This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, held in Paris, France, November 14-16, 2007. The 27 regular papers presented together with the extended abstracts of three invited lectures were carefully reviewed and selected from 64 submissions. The papers address all aspects of self-stabilization, safety and security, recovery oriented systems and programming. Toshimitsu Masuzawa, Sébastien Tixeuil (eds.). Includes Bibliographical References And Index.