000 05036nam a22005415i 4500
001 978-3-031-21017-4
003 DE-He213
005 20240730170910.0
007 cr nn 008mamaa
008 221108s2022 sz | s |||| 0|eng d
020 _a9783031210174
_9978-3-031-21017-4
024 7 _a10.1007/978-3-031-21017-4
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM043000
_2bisacsh
072 7 _aUKN
_2thema
082 0 4 _a004.6
_223
245 1 0 _aStabilization, Safety, and Security of Distributed Systems
_h[electronic resource] :
_b24th International Symposium, SSS 2022, Clermont-Ferrand, France, November 15-17, 2022, Proceedings /
_cedited by Stéphane Devismes, Franck Petit, Karine Altisen, Giuseppe Antonio Di Luna, Antonio Fernandez Anta.
250 _a1st ed. 2022.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2022.
300 _aX, 372 p. 79 illus., 55 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13751
505 0 _aPlateau: A Secure and Scalable Overlay Network for Large Distributed Trust Applications -- The Limits of Helping in Non-Volatile Memory Data Structures Treasure Hunt in Graph using Pebbles -- Blockchain in Dynamic Networks -- Improving the Efficiency of Report and Trace Ring Signatures -- Flexible Scheduling of Transactional Memory on Trees -- Invited Paper: Simple, strict, proper, happy: A study of reachability in temporal graphs -- Brief Announcement: Dynamic graph models for the Bitcoin P2P network: simulation analysis for expansion and flooding time -- Brief Announcement: Self Masking for Hardening Inversions -- Perpetual Torus Exploration by Myopic Luminous Robots -- Optimal Algorithms for Synchronous Byzantine k-Set Agreement -- Reaching Consensus in the Presence of Contention-Related Crash Failures -- Self-stabilizing Byzantine Fault-tolerant Repeated Reliable Broadcast -- Capacity Planning for Dependable Services -- Lower bound for constant-size local certification -- Collaborative Dispersion by Silent Robots -- Time Optimal Gathering of Myopic Robots on an Infinite Triangular Grid -- Brief Announcement: Lattice Linear Algorithms -- Brief Announcement: Distributed Reconfiguration of Spanning Trees -- Brief Announcement: Mutually-visible Uniform Circle Formation by Asynchronous Mobile Robots on Grid Plane -- Brief Announcement: Self-stabilizing Total-order Broadcast -- Brief Announcement: Secure And Efficient Participant Authentication - Application to Mobile E-voting -- Card-Based ZKP Protocol for Nurimisaki -- Invited Paper: One Bit Agent Memory is Enough for Snap-stabilizing Perpetual Exploration of Cactus Graphs with Distinguishable Cycles Consensus on Demand -- Better Incentives for Proof-of-Work -- Invited Paper: Towards Practical Atomic Distributed Shared Memory: An Experimental Evaluation -- Invited Paper: Cross-Chain State Machine Replication.
520 _aThis 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.
650 0 _aComputer networks .
_931572
650 1 4 _aComputer Communication Networks.
_996077
700 1 _aDevismes, Stéphane.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_996078
700 1 _aPetit, Franck.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_996079
700 1 _aAltisen, Karine.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_996080
700 1 _aDi Luna, Giuseppe Antonio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_996081
700 1 _aFernandez Anta, Antonio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_996082
710 2 _aSpringerLink (Online service)
_996085
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031210167
776 0 8 _iPrinted edition:
_z9783031210181
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13751
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-21017-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c87261
_d87261