Stabilization, Safety, and Security of Distributed Systems: 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings (Lecture ... Computer Science and General Issues)

Front Matter....Pages -
Stabilization Enabling Technology....Pages 1-15
A General Characterization of Indulgence....Pages 16-34
Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks....Pages 35-49
A Case Study on Prototyping Power Management Protocols for Sensor Networks....Pages 50-64
Unconscious Eventual Consistency with Gossips....Pages 65-81
All k -Bounded Policies Are Equivalent for Self-stabilization....Pages 82-94
A 1-Strong Self-stabilizing Transformer....Pages 95-109
Optimal Message-Driven Implementation of Omega with Mute Processes....Pages 110-121
Incremental Synthesis of Fault-Tolerant Real-Time Programs....Pages 122-136
Toward a Time-Optimal Odd Phase Clock Unison in Trees....Pages 137-151
Recovery Oriented Programming....Pages 152-168
Evaluation of a Tracking Architecture in Wireless Sensor Networks....Pages 169-183
Self-protection for Distributed Component-Based Applications....Pages 184-198
From Self- to Snap- Stabilization....Pages 199-213
Self-stabilizing Philosophers with Generic Conflicts....Pages 214-230
Selfish Stabilization....Pages 231-243
Reliability and Availability Analysis of Self-stabilizing Systems....Pages 244-261
Circle Formation of Weak Mobile Robots....Pages 262-275
Self-stabilizing Device Drivers....Pages 276-289
Secure Communication for RFIDs Proactive Information Security Within Computational Security....Pages 290-303
Fault Masking in Tri-redundant Systems....Pages 304-313
Logarithmic Keying of Communication Networks....Pages 314-323
Safe Peer-to-Peer Self-downloading....Pages 324-334
 Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks....Pages 335-349
Self-stabilizing Byzantine Digital Clock Synchronization....Pages 350-362
Distributed Edge Coloration for Bipartite Networks....Pages 363-377
A Dependable Intrusion Detection Architecture Based on Agreement Services....Pages 378-394
Stabilizing Health Monitoring for Wireless Sensor Networks....Pages 395-410
A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems....Pages 411-427
A Memory Efficient Self-stabilizing Algorithm for Maximal k -Packing....Pages 428-439
Bounding the Impact of Unbounded Attacks in Stabilization....Pages 440-453
On Bootstrapping Topology Knowledge in Anonymous Networks....Pages 454-468
Self-adaptive Disk Arrays....Pages 469-483
Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility....Pages 484-500
Self-stabilizing Asynchronous Phase Synchronization in General Graphs....Pages 501-515
Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework....Pages 516-532
Energy-Efficient and Non-interactive Self-certification in MANETs....Pages 533-547
Self-adaptive Worms and Countermeasures....Pages 548-562
Brief Announcement: Self-healing Algorithms for Reconfigurable Networks....Pages 563-565
Brief Announcement: Distributed Synthesis of Fault-Tolerance....Pages 566-567
Brief Announcement: Exploration and Mitigation of Deafness Problems in Directional Antennas Based Wireless Ad-Hoc Networks....Pages 568-569
Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANET....Pages 570-571
Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures....Pages 572-573
Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems....Pages 574-575
Brief Announcement: Chasing the Weakest System Model for Implementing $\\it \\Omega$ and Consensus....Pages 576-577
Brief Announcement: Wait-Free Dining for Eventual Weak Exclusion....Pages 578-579
Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm....Pages 580-581
Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop Networks....Pages 582-583
Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems....Pages 584-585
Brief Announcement: An Adaptive Randomised Searching Protocol in Peer-to-Peer Systems Based on Probabilistic Weak Quorum System....Pages 586-587
Back Matter....Pages -