Stabilization, Safety, and Security of Distributed Systems

Inhaltsverzeichnis

• 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.