東華大學圖書館 |

Stabilization, safety, and security of distributed systems = 24th International Symposium, SSS 2022, Clermond Ferrand, France, November 15-17, 2022 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Stabilization, safety, and security of distributed systems/ edited by Stephane Devismes ... [et al.].
其他題名:	24th International Symposium, SSS 2022, Clermond Ferrand, France, November 15-17, 2022 : proceedings /
其他題名:	SSS 2022
其他作者:	Devismes, Stephane.
團體作者:	SSS (Symposium)
出版者:	Cham :Springer International Publishing : : 2022.,
面頁冊數:	x, 372 p. :ill. (some color), digital ;24 cm.
內容註:	Plateau: 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.
Contained By:	Springer Nature eBook
標題:	Self-stabilization (Computer science) - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-031-21017-4
ISBN:	9783031210174

Stabilization, safety, and security of distributed systems = 24th International Symposium, SSS 2022, Clermond Ferrand, France, November 15-17, 2022 : proceedings /
Stabilization, safety, and security of distributed systems24th International Symposium, SSS 2022, Clermond Ferrand, France, November 15-17, 2022 : proceedings /[electronic resource] :SSS 2022edited by Stephane Devismes ... [et al.]. - Cham :Springer International Publishing :2022. - x, 372 p. :ill. (some color), digital ;24 cm. - Lecture notes in computer science,137510302-9743 ;. - Lecture notes in computer science ;13751..

Plateau: 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.

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.

ISBN: 9783031210174

Standard No.: 10.1007/978-3-031-21017-4doiSubjects--Topical Terms:

893626
Self-stabilization (Computer science)
--Congresses.

LC Class. No.: QA76.9.S54

Dewey Class. No.: 005.14

Stabilization, safety, and security of distributed systems = 24th International Symposium, SSS 2022, Clermond Ferrand, France, November 15-17, 2022 : proceedings /
LDR:03867nmm a2200349 a 4500 001 2305514
003 DE-He213
005 20221108182347.0
006 m d
007 cr nn 008maaau
008 230409s2022 sz s 0 eng d
020 $a 9783031210174 $q (electronic bk.)
020 $a 9783031210167 $q (paper)
024 7 $a 10.1007/978-3-031-21017-4 $2 doi
035 $a 978-3-031-21017-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.S54
072 7 $a UKN $2 bicssc
072 7 $a COM075000 $2 bisacsh
072 7 $a UKN $2 thema
082 0 4 $a 005.14 $2 23
090 $a QA76.9.S54 $b S774 2022
111 2 $a SSS (Symposium) $n (24th : $d 2022 : $c Clermont-Ferrand, France) $3 3608649
245 1 0 $a Stabilization, safety, and security of distributed systems $h [electronic resource] : $b 24th International Symposium, SSS 2022, Clermond Ferrand, France, November 15-17, 2022 : proceedings / $c edited by Stephane Devismes ... [et al.].
246 3 $a SSS 2022
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a x, 372 p. : $b ill. (some color), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 13751
505 0 $a Plateau: 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 $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.
650 0 $a Self-stabilization (Computer science) $v Congresses. $3 893626
650 0 $a Electronic data processing $x Distributed processing $x Security measures $v Congresses. $3 896849
650 0 $a Computer security $v Congresses. $3 622818
700 1 $a Devismes, Stephane. $3 3527690
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 13751. $3 3608650
856 4 0 $u https://doi.org/10.1007/978-3-031-21017-4
950 $a Computer Science (SpringerNature-11645)