Vai al contenuto principale della pagina
Titolo: | Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings / / edited by Toshimitsu Masuzawa, Sébastien Tixeuil |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Edizione: | 1st ed. 2007. |
Descrizione fisica: | 1 online resource (XIII, 414 p.) |
Disciplina: | 005.8 |
Soggetto topico: | 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 | |
Persona (resp. second.): | MasuzawaToshimitsu |
TixeuilSébastien | |
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. |
Titolo autorizzato: | Stabilization, Safety, and Security of Distributed Systems |
ISBN: | 3-540-76627-8 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465303403316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |