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.
Author(s): Jean-Jacques Quisquater (auth.), Toshimitsu Masuzawa, Sébastien Tixeuil (eds.)
Series: Lecture Notes in Computer Science 4838
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007
Language: English
Pages: 414
Tags: Computer Communication Networks; Special Purpose and Application-Based Systems; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Management of Computing and Information 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 -
