Stabilization, safety, and security of distributed systems : 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings / Taisuke Izumi, Petr Kuznetsov (eds.)
Intro -- Preface -- Organization -- Contents -- A Self-stabilizing Hashed Patricia Trie -- 1 Introduction -- 1.1 Model -- 1.2 Related Work -- 1.3 Our Contribution -- 2 Hashed Patricia Trie -- 3 The SHPT Protocol -- 3.1 Properties of the DHT -- 3.2 Correcting Edge Information -- 3.3 Maintaining Connections -- 3.4 Removal/Creation of Nodes -- 3.5 Distribution of References to Keys -- 4 Protocol Analysis -- 4.1 Correctness -- 4.2 Overhead -- References -- Self-stabilizing Overlays for High-Dimensional Monotonic Searchability -- 1 Introduction -- 1.1 Model -- 1.2 Problem Statement
1.3 Our Contribution -- 1.4 Related Work -- 2 Topology and Legitimate State -- 3 Protocol Description -- 3.1 List Edges -- 3.2 Quad Edges -- 3.3 Routing -- 4 Analysis -- 4.1 Quadtree -- 4.2 Geographic Monotonic Searchability -- 5 Conclusion and Future Work -- References -- An Adaptive Logging Framework for Persistent Memories -- 1 Introduction -- 2 Model -- 3 Adaptive Logging Framework -- 4 Experimental Evaluation -- 5 Concluding Remarks -- References -- On Underlay-Aware Self-Stabilizing Overlay Networks -- 1 Introduction -- 1.1 Model and Definitions -- 1.2 Our Contribution -- 2 Related Work
3 Preliminaries -- 4 Protocol -- 5 Analysis -- 6 Conclusion and Outlook -- References -- A O(logn) Distributed Algorithm to Construct Routing Structures for Pub/Sub Systems -- 1 Introduction -- 1.1 State of the Art -- 1.2 Computational Model and Assumptions -- 2 Informal Description of Algorithm AFiber -- 2.1 Relationship to Routing Scheme PSVR -- 3 Formal Description of Algorithm AFiber -- 3.1 Phase 0 -- 3.2 Phase 1 -- 3.3 Middle Phases -- 3.4 The Final Phase -- 4 Analysis of Algorithm AFiber for Random Graphs -- 4.1 Phase 1 -- 4.2 Middle Phases -- 4.3 The Final Phase -- 5 Extensions
6 Conclusion -- References -- Self-stabilization and Byzantine Tolerance for Maximal Matching -- 1 Introduction and State of the Arts -- 2 Model -- 3 Maximal Matchings -- 3.1 Problem Specification -- 3.2 From legitimacy to weakly-legitimacy -- 4 2-Spec under the Distributed Daemon -- 5 1-Spec Under the Central Daemon -- 6 About 1-Spec and the Distributed Daemon -- References -- Exploration of Finite 2D Square Grid by a Metamorphic Robotic System -- 1 Introduction -- 2 Preliminary -- 3 Exploration with Global Compass -- 4 Exploration Without Global Compass -- 5 Conclusion and Future Work
3.2 Variant (2) -- with Local Knowledge
Summary
This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018. The 24 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized into three tracks reflecting major trends related to distributed systems: theoretical and practical aspects of stabilizing systems; distributed networks and concurrency; and safety in malicious environments
Notes
International conference proceedings
Includes author index
Online resource; title from PDF title page (SpringerLink, viewed October 31, 2018)
