Stabilization, safety, and security of distributed systems : 9th international symposium, SSS 2007, Paris, France, November 14-16, 2007 : proceedings

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 The Power of Cryptographic Attacks: Is Your Network Really Secure Against Side Channels Attacks and Malicious Faults?
3. Altmetric Badge
   Chapter 2 Role-Based Self-configuration of Sensor Networks
4. Altmetric Badge
   Chapter 3 Robots and Molecules
5. Altmetric Badge
   Chapter 4 Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency
6. Altmetric Badge
   Chapter 5 Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model
7. Altmetric Badge
   Chapter 6 Decentralized Detector Generation in Cooperative Intrusion Detection Systems
8. Altmetric Badge
   Chapter 7 Stabilizing Flocking Via Leader Election in Robot Networks
9. Altmetric Badge
   Chapter 8 Stabilization in Dynamic Systems with Varying Equilibrium
10. Altmetric Badge
    Chapter 9 Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems
11. Altmetric Badge
    Chapter 10 Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance
12. Altmetric Badge
    Chapter 11 On the Performance of Dijkstra’s Third Self-stabilizing Algorithm for Mutual Exclusion
13. Altmetric Badge
    Chapter 12 Stability of the Multiple-Access Channel Under Maximum Broadcast Loads
14. Altmetric Badge
    Chapter 13 Stabilization of Flood Sequencing Protocols in Sensor Networks
15. Altmetric Badge
    Chapter 14 Stabilization of Loop-Free Redundant Routing
16. Altmetric Badge
    Chapter 15 Secure Failure Detection in TrustedPals
17. Altmetric Badge
    Chapter 16 Probabilistic Fault-Containment
18. Altmetric Badge
    Chapter 17 Self* Minimum Connected Covers of Query Regions in Sensor Networks
19. Altmetric Badge
    Chapter 18 Robust Stabilizing Leader Election
20. Altmetric Badge
    Chapter 19 Byzantine Self-stabilizing Pulse in a Bounded-Delay Model
21. Altmetric Badge
    Chapter 20 Magnifying Computing Gaps Establishing Encrypted Communication over Unidirectional Channels (Extended Abstract)
22. Altmetric Badge
    Chapter 21 Stabilizing Trust and Reputation for Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract)
23. Altmetric Badge
    Chapter 22 r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks
24. Altmetric Badge
    Chapter 23 Global Predicate Detection in Distributed Systems with Small Faults
25. Altmetric Badge
    Chapter 24 The Truth System: Can a System of Lying Processes Stabilize?
26. Altmetric Badge
    Chapter 25 Temporal Partition in Sensor Networks
27. Altmetric Badge
    Chapter 26 Secure and Self-stabilizing Clock Synchronization in Sensor Networks
28. Altmetric Badge
    Chapter 27 On the Probabilistic Omission Adversary
29. Altmetric Badge
    Chapter 28 Upper Bounds for Stabilization in Acyclic Preference-Based Systems
30. Altmetric Badge
    Chapter 29 A Self-stabilizing Weighted Matching Algorithm
31. Altmetric Badge
    Chapter 30 Self-stabilization and Virtual Node Layer Emulations