|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910767584403321 |
|
|
Titolo |
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 414 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4838 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Computer networks |
Computers, Special purpose |
Computer science |
Algorithms |
Electronic data processing—Management |
Artificial Intelligence |
Computer Communication Networks |
Special Purpose and Application-Based Systems |
Theory of Computation |
IT Operations |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
Sommario/riassunto |
|
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 3 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 programing, from theoretical contributions, to reports of the actual experience of applying the principles of self-stabilization to static and dynamic systems. |
|
|
|
|
|
|
|
| |