
×
Stabilization, Safety, and Security of Distributed Systems
9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings
herausgegeben von Toshimitsu Masuzawa und Sébastien TixeuilInhaltsverzeichnis
- The Power of Cryptographic Attacks: Is Your Network Really Secure Against Side Channels Attacks and Malicious Faults?.
- Role-Based Self-configuration of Sensor Networks.
- Robots and Molecules.
- Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency.
- Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model.
- Decentralized Detector Generation in Cooperative Intrusion Detection Systems.
- Stabilizing Flocking Via Leader Election in Robot Networks.
- Stabilization in Dynamic Systems with Varying Equilibrium.
- Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems.
- Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance.
- On the Performance of Dijkstra’s Third Self-stabilizing Algorithm for Mutual Exclusion.
- Stability of the Multiple-Access Channel Under Maximum Broadcast Loads.
- Stabilization of Flood Sequencing Protocols in Sensor Networks.
- Stabilization of Loop-Free Redundant Routing.
- Secure Failure Detection in TrustedPals.
- Probabilistic Fault-Containment.
- Self* Minimum Connected Covers of Query Regions in Sensor Networks.
- Robust Stabilizing Leader Election.
- Byzantine Self-stabilizing Pulse in a Bounded-Delay Model.
- Magnifying Computing Gaps Establishing Encrypted Communication over Unidirectional Channels (Extended Abstract).
- Stabilizing Trust and Reputation for Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract).
- r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks.
- Global Predicate Detection in Distributed Systems with Small Faults.
- The Truth System: Can a System of Lying Processes Stabilize?.
- Temporal Partition in Sensor Networks.
- Secure and Self-stabilizing Clock Synchronization in SensorNetworks.
- On the Probabilistic Omission Adversary.
- Upper Bounds for Stabilization in Acyclic Preference-Based Systems.
- A Self-stabilizing Weighted Matching Algorithm.
- Self-stabilization and Virtual Node Layer Emulations.