Stabilization, safety, and security of distributed systems : 24th International Symposium, SSS 2022, Clermond Ferrand, France, November 15-17, 2022, proceedings / Stéphane Devismes, Franck Petit, Karine Altisen, Giuseppe Antonio Di Luna, Antonio Fernandez Anta (eds.)
This book constitutes the proceedings of 24th International Symposium, SSS 2022, which took place in Clermont-Ferrand, France, in November 2022. The 17 regular papers together with 4 invited papers and 7 brief announcements, included in this volume were carefully reviewed and selected from 58 submis...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , , , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham :
Springer,
[2022]
|
| Series: | Lecture notes in computer science ;
13751. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xi 4500 | ||
|---|---|---|---|
| 001 | b12834347 | ||
| 003 | CoU | ||
| 005 | 20221209062116.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 221111s2023 sz a o 101 0 eng d | ||
| 019 | |a 1350686287 | ||
| 020 | |a 9783031210174 |q (electronic bk.) | ||
| 020 | |a 3031210174 |q (electronic bk.) | ||
| 020 | |z 9783031210167 | ||
| 020 | |z 3031210166 | ||
| 024 | 7 | |a 10.1007/978-3-031-21017-4 | |
| 035 | |a (OCoLC)spr1350616554 | ||
| 035 | |a (OCoLC)1350616554 |z (OCoLC)1350686287 | ||
| 037 | |a spr978-3-031-21017-4 | ||
| 040 | |a YDX |b eng |e rda |e pn |c YDX |d GW5XE |d EBLCP | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.9.S54 | |
| 111 | 2 | |a SSS (Symposium) |n (24th : |d 2022 : |c Clermont-Ferrand, France) | |
| 245 | 1 | 0 | |a Stabilization, safety, and security of distributed systems : |b 24th International Symposium, SSS 2022, Clermond Ferrand, France, November 15-17, 2022, proceedings / |c Stéphane Devismes, Franck Petit, Karine Altisen, Giuseppe Antonio Di Luna, Antonio Fernandez Anta (eds.) |
| 264 | 1 | |a Cham : |b Springer, |c [2022] | |
| 264 | 4 | |c ©2022. | |
| 300 | |a 1 online resource (x, 372 pages) : |b illustrations (some color) | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 13751. | |
| 500 | |a Conference proceedings. | ||
| 500 | |a Includes author index. | ||
| 505 | 0 | |a Intro -- Preface -- Organization -- Contents -- Invited Papers -- Invited Paper: Simple, Strict, Proper, Happy: A Study of Reachability in Temporal Graphs -- 1 Introduction -- 2 Temporal Graphs -- 2.1 Strictness/Properness/Simpleness -- 2.2 Does It Really Matter? (Example of Spanners) -- 2.3 Happy Temporal Graphs -- 3 Expressivity in Terms of Reachability -- 3.1 Separations -- 3.2 Transformations -- 3.3 Summary and Discussions -- 4 More Facts About Happy Temporal Graphs -- 5 Concluding Remarks and Open Questions -- References. | |
| 505 | 8 | |a Invited Paper: One Bit Agent Memory is Enough for Snap-Stabilizing Perpetual Exploration of Cactus Graphs with Distinguishable Cycles -- 1 Introduction -- 2 Preliminaries -- 2.1 Cactus Graph -- 2.2 Mobile Agent and Graph Exploration -- 3 Snap-Stabilizing Perpetual Exploration -- 3.1 Port Traversal Graph -- 3.2 Algorithm for a Single Agent with One-Bit Agent Memory -- 4 Exploration by an Oblivious Agent -- References -- Invited Paper: Towards Practical Atomic Distributed Shared Memory: An Experimental Evaluation -- 1 Introduction -- 2 Algorithms Overview -- 2.1 ARES -- 2.2 Cassandra -- 2.3 Redis. | |
| 505 | 8 | |a 3 Experimental Evaluation -- 3.1 Experimentation Setup -- 3.2 Scenarios -- 3.3 Experimental Results -- 4 Conclusions -- References -- Invited Paper: Cross-Chain State Machine Replication -- 1 Introduction -- 2 Model of Computation -- 3 State Machines -- 3.1 Example: Simple Swap -- 3.2 Example: Decentralized Autonomous Organization (DAO) -- 4 State Machine Replication Protocol -- 4.1 Path Signatures -- 4.2 Reliable Delivery -- 4.3 Initialization, Moves, and Settlement -- 4.4 Dynamic Funding -- 5 Remarks -- 6 Related Work -- References -- Regular Papers. | |
| 505 | 8 | |a Plateau: A Secure and Scalable Overlay Network for Large Distributed Trust Applications -- 1 Introduction -- 1.1 Our Contribution -- 1.2 Related Works -- 2 Model and Preliminaries -- 3 The Plateau Network Design and Statement of Results -- 4 Concluding Remarks and Future Work -- References -- The Limits of Helping in Non-volatile Memory Data Structures -- 1 Introduction -- 1.1 Contributions -- 1.2 Related Work -- 2 Characterization of the Crash-Recovery Model -- 3 Process Helping -- 4 Strict-Linearizability vs. Linearization-Helping -- 4.1 Sticky-Bit Object. | |
| 505 | 8 | |a 4.2 An Equivalence Between Linearizability and Strict-Linearizability -- 5 Strict-Linearizability vs. Universal-Helping -- 5.1 Equivalence Between Strict-Linearizability and Universal-Help Freedom -- References -- Treasure Hunt in Graph Using Pebbles -- 1 Introduction -- 1.1 Background and Motivation -- 1.2 Model and Problem Definition -- 1.3 Contribution -- 1.4 Related Work -- 2 Treasure Hunt Algorithm When k<D -- 2.1 D2k < D -- 2.2 k<D2 -- 3 Treasure Hunt Algorithm When kD -- 3.1 Idea of Treasure Hunt in Tree for k=cD Pebbles -- 3.2 Extending the Idea for General Graphs -- 4 Lower Bound. | |
| 520 | |a This book constitutes the proceedings of 24th International Symposium, SSS 2022, which took place in Clermont-Ferrand, France, in November 2022. The 17 regular papers together with 4 invited papers and 7 brief announcements, included in this volume were carefully reviewed and selected from 58 submissions. The SSS 2022 focus on systems built such that they are able to provide on their own guarantees on their structure, performance, and/or security in the face of an adverse environment. The Symposium presents three tracks reflecting major trends related to the conference: (i) Self-stabilizing Systems: Theory and Practice, (ii) Concurrent and Distributed Computing: Foundations, Faulttolerance, and Security, and (iii) Dynamic, Mobile, and Nature-Inspired Computing. | ||
| 588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed November 16, 2022) | |
| 650 | 0 | |a Self-stabilization (Computer science) |v Congresses. | |
| 650 | 0 | |a Electronic data processing |x Distributed processing |x Security measures |v Congresses. | |
| 650 | 0 | |a Computer security |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008101458. | |
| 700 | 1 | |a Devismes, Stéphane, |e editor. |0 http://id.loc.gov/authorities/names/nb2021007267 |1 http://isni.org/isni/0000000138919619. | |
| 700 | 1 | |a Petit, Franck, |e editor. |0 http://id.loc.gov/authorities/names/no00026171 |1 http://isni.org/isni/0000000051061410. | |
| 700 | 1 | |a Altisen, Karine, |e editor. | |
| 700 | 1 | |a Di Luna, Giuseppe Antonio, |e editor. | |
| 700 | 1 | |a Anta, Antonio Fernández, |e editor. |0 http://id.loc.gov/authorities/names/nb2011033210 |1 https://isni.org/isni/0000000361744874. |1 http://isni.org/isni/0000000361744874. | |
| 776 | 0 | 8 | |c Original |z 3031210166 |z 9783031210167 |w (OCoLC)1347224820. |
| 830 | 0 | |a Lecture notes in computer science ; |v 13751. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-21017-4 |z Full Text (via Springer) |
| 907 | |a .b128343473 |b 01-06-23 |c 12-13-22 | ||
| 998 | |a web |b 12-31-22 |c b |d b |e - |f eng |g sz |h 0 |i 1 | ||
| 907 | |a .b128343473 |b 01-02-23 |c 12-13-22 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 915 | |a - | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Computer Science eBooks 2022 English+International | ||
| 999 | f | f | |i fb59b1f7-7d4c-58d8-b4fd-f5291849b8b8 |s 3030566d-f98d-5680-bb58-c3d9e0ec521f |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.9.S54 |h Library of Congress classification |i Ebooks, Prospector |n 1 |