Stabilization, Safety, and Security of Distributed Systems

This book constitutes the refereed proceedings of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2006, held in Dallas, TX, USA in November 2006. The 36 revised full papers and 12 revised short papers presented together with the extended abstracts of 2 invited lectures address all aspects of self-stabilization, safety and security, recovery oriented systems and programming.

Inhalt

Invited Talks.- Stabilization Enabling Technology.- A General Characterization of Indulgence.- Regular Papers.- Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks.- A Case Study on Prototyping Power Management Protocols for Sensor Networks.- Unconscious Eventual Consistency with Gossips.- All k-Bounded Policies Are Equivalent for Self-stabilization.- A 1-Strong Self-stabilizing Transformer.- Optimal Message-Driven Implementation of Omega with Mute Processes.- Incremental Synthesis of Fault-Tolerant Real-Time Programs.- Toward a Time-Optimal Odd Phase Clock Unison in Trees.- Recovery Oriented Programming.- Evaluation of a Tracking Architecture in Wireless Sensor Networks.- Self-protection for Distributed Component-Based Applications.- From Self- to Snap- Stabilization.- Self-stabilizing Philosophers with Generic Conflicts.- Selfish Stabilization.- Reliability and Availability Analysis of Self-stabilizing Systems.- Circle Formation of Weak Mobile Robots.- Self-stabilizing Device Drivers.- Secure Communication for RFIDs Proactive Information Security Within Computational Security.- Fault Masking in Tri-redundant Systems.- Logarithmic Keying of Communication Networks.- Safe Peer-to-Peer Self-downloading.- Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks.- Self-stabilizing Byzantine Digital Clock Synchronization.- Distributed Edge Coloration for Bipartite Networks.- A Dependable Intrusion Detection Architecture Based on Agreement Services.- Stabilizing Health Monitoring for Wireless Sensor Networks.- A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems.- A Memory Efficient Self-stabilizing Algorithm for Maximal k-Packing.- Bounding the Impact of Unbounded Attacks in Stabilization.- On Bootstrapping Topology Knowledge in Anonymous Networks.- Self-adaptive Disk Arrays.- Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility.- Self-stabilizing Asynchronous Phase Synchronization in General Graphs.- Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework.- Energy-Efficient and Non-interactive Self-certification in MANETs.- Self-adaptive Worms and Countermeasures.- Brief Announcement.- Brief Announcement: Self-healing Algorithms for Reconfigurable Networks.- Brief Announcement: Distributed Synthesis of Fault-Tolerance.- Brief Announcement: Exploration and Mitigation of Deafness Problems in Directional Antennas Based Wireless Ad-Hoc Networks.- Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANET.- Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures.- Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems.- Brief Announcement: Chasing the Weakest System Model for Implementing and Consensus.- Brief Announcement: Wait-Free Dining for Eventual Weak Exclusion.- Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm.- Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop Networks.- Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems.- Brief Announcement: An Adaptive Randomised Searching Protocol in Peer-to-Peer Systems Based on Probabilistic Weak Quorum System.