Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings / edited by Toshimitsu Masuzawa, Sébastien Tixeuil.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Masuzawa, Toshimitsu (Editor), Tixeuil, Sébastien (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Theoretical Computer Science and General Issues ; 4838
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 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 Sensor Networks
  • 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.