+612 9045 4394
 
CHECKOUT
Stabilization, Safety, and Security of Distributed Systems : 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings - Toshimitsu Masuzawa

Stabilization, Safety, and Security of Distributed Systems

9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

By: Toshimitsu Masuzawa (Editor), Sebastien Tixeuil (Editor)

Paperback

Published: 6th November 2007
Ships: 15 business days
15 business days
$148.40
or 4 easy payments of $37.10 with Learn more

This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, held in Paris, France, November 14-16, 2007. The 27 regular papers presented together with the extended abstracts of three invited lectures were carefully reviewed and selected from 64 submissions. The papers address all aspects of self-stabilization, safety and security, recovery oriented systems and programming.

The Power of Cryptographic Attacks: Is Your Network Really Secure Against Side Channels Attacks and Malicious Faults? (Invited Keynote)p. 1
Role-Based Self-configuration of Sensor Networks (Invited Keynote)p. 2
Robots and Molecules (Invited Keynote)p. 3
Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiencyp. 4
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Modelp. 21
Decentralized Detector Generation in Cooperative Intrusion Detection Systemsp. 37
Stabilizing Flocking Via Leader Election in Robot Networksp. 52
Stabilization in Dynamic Systems with Varying Equilibriump. 67
Snap-Stabilizing Prefix Tree for Peer-to-Peer Systemsp. 82
Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenancep. 97
On the Performance of Dijkstra's Third Self-stabilizing Algorithm for Mutual Exclusionp. 114
Stability of the Multiple-Access Channel Under Maximum Broadcast Loadsp. 124
Stabilization of Flood Sequencing Protocols in Sensor Networksp. 139
Stabilization of Loop-Free Redundant Routingp. 154
Secure Failure Detection in TrustedPalsp. 173
Probabilistic Fault-Containmentp. 189
Self* Minimum Connected Covers of Query Regions in Sensor Networksp. 204
Robust Stabilizing Leader Electionp. 219
Byzantine Self-stabilizing Pulse in a Bounded-Delay Modelp. 234
Magnifying Computing Gaps, Establishing Encrypted Communication over Unidirectional Channels (Extended Abstract)p. 253
Stabilizing Trust and Reputation for Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract)p. 266
r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasksp. 281
Global Predicate Detection in Distributed Systems with Small Faultsp. 296
The Truth System: Can a System of Lying Processes Stabilize?p. 311
Temporal Partition in Sensor Networksp. 325
Secure and Self-stabilizing Clock Synchronization in Sensor Networksp. 340
On the Probabilistic Omission Adversaryp. 357
Upper Bounds for Stabilization in Acyclic Preference-Based Systemsp. 372
A Self-stabilizing Weighted Matching Algorithmp. 383
Self-stabilization and Virtual Node Layer Emulationsp. 394
Author Indexp. 409
Table of Contents provided by Ingram. All Rights Reserved.

ISBN: 9783540766261
ISBN-10: 354076626X
Series: Lecture Notes in Computer Science
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 414
Published: 6th November 2007
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 2.46
Weight (kg): 0.66