Stabilization, Safety, and Security of Distributed Systems | 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings | ISBN 9783540766261

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 Tixeuil
Mitwirkende
Herausgegeben vonToshimitsu Masuzawa
Herausgegeben vonSébastien Tixeuil
Buchcover Stabilization, Safety, and Security of Distributed Systems  | EAN 9783540766261 | ISBN 3-540-76626-X | ISBN 978-3-540-76626-1

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 Tixeuil
Mitwirkende
Herausgegeben vonToshimitsu Masuzawa
Herausgegeben vonSébastien Tixeuil

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.