國立高雄大學圖資館 |

Language: English

Back

Stabilization, safety, and security ...

(1998 :)

Stabilization, safety, and security of distributed systems21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Stabilization, safety, and security of distributed systemsedited by Mohsen Ghaffari ... [et al.].
Reminder of title:	21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019 : proceedings /
remainder title:	SSS 2019
other author:	Ghaffari, Mohsen.
corporate name:
Published:	Cham :Springer International Publishing :2019.
Description:	xxiii, 384 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Self-stabilization (Computer science)Congresses.
Online resource:	https://doi.org/10.1007/978-3-030-34992-9
ISBN:	9783030349929$q(electronic bk.)

Stabilization, safety, and security of distributed systems21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019 : proceedings /
Stabilization, safety, and security of distributed systems21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019 : proceedings /[electronic resource] :SSS 2019edited by Mohsen Ghaffari ... [et al.]. - Cham :Springer International Publishing :2019. - xxiii, 384 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,119140302-9743 ;. - Lecture notes in computer science ;4891..

Invited Paper: On the Characterization of Blockchain Consensus under Incentives -- Brief announcement: Forgive & Forget: Self-Stabilizing Swarms in Spite of Byzantine Robots -- Stationary and Deterministic Leader Election in Self-Organizing Particle Systems -- Robust Privacy-Preserving Gossip Averaging -- Synchronous t-Resilient Consensus in Arbitrary Graphs -- Tasks in Modular Proofs of Concurrent Algorithms -- On Gathering of Semi-Synchronous Robots in Graphs -- Brief Announcement: Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree Construction -- Brief Announcement: Distributed Computing in the Asynchronous LOCAL model -- An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms -- Brief Announcement: Self-Stabilizing LCM Schedulers for Autonomous Mobile Robots using Neighborhood Mutual Remainder -- Reducing the Number of Messages in Self-stabilizing Protocols -- A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory -- Exploration of dynamic ring networks by a single agent with the H-hops and S-time steps view -- iperfTZ: Understanding Network Bottlenecks for TrustZone-based Trusted Applications -- Atomic Cross-Chain Swaps with Improved Space and Local Time Complexity -- Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems -- Improved-Zigzag: An improved local-information based self-optimizing routing algorithm in virtual grid networks -- Fault Tolerant Network Constructors -- Ring Exploration of Myopic Luminous Robots with Visibility More than One -- Brief Announcement: Self-Stabilizing Construction of a Minimal Weakly nmathcal{ST}-Reachable Directed Acyclic Graph -- Adaptive Versioning in Transactional Memories -- Brief Announcement: Blockguard: Adaptive Blockchain Security -- Brief Announcement: Fully Anonymous Shared Memory Algorithms -- A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus -- Logarithmic Expected-Time Leader Election in Population Protocol Model -- A Self-stabilizing 1-maximal Independent Set Algorithm -- Black hole search despite Byzantine agents -- Self-Adjusting Linear Networks.

This book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019. The 21 full papers presented were carefully reviewed and selected from 45 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.

ISBN: 9783030349929$q(electronic bk.)

Standard No.: 10.1007/978-3-030-34992-9doiSubjects--Topical Terms:

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

LC Class. No.: QA76.9.S54 / S77 2019

Dewey Class. No.: 004.36

Stabilization, safety, and security of distributed systems21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019 : proceedings /
LDR:03971nmm a2200361 a 4500 001 569385
003 DE-He213
005 20191114184846.0
006 m d
007 cr nn 008maaau
008 200723s2019 gw s 0 eng d
020 $a 9783030349929$q(electronic bk.)
020 $a 9783030349912$q(paper)
024 7 $a 10.1007/978-3-030-34992-9 $2 doi
035 $a 978-3-030-34992-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.S54 $b S77 2019
072 7 $a UKN $2 bicssc
072 7 $a COM075000 $2 bisacsh
072 7 $a UKN $2 thema
082 0 4 $a 004.36 $2 23
090 $a QA76.9.S54 $b S774 2019
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Stabilization, safety, and security of distributed systems $h [electronic resource] : $b 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019 : proceedings / $c edited by Mohsen Ghaffari ... [et al.].
246 3 $a SSS 2019
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xxiii, 384 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11914
490 1 $a Theoretical computer science and general issues
505 0 $a Invited Paper: On the Characterization of Blockchain Consensus under Incentives -- Brief announcement: Forgive & Forget: Self-Stabilizing Swarms in Spite of Byzantine Robots -- Stationary and Deterministic Leader Election in Self-Organizing Particle Systems -- Robust Privacy-Preserving Gossip Averaging -- Synchronous t-Resilient Consensus in Arbitrary Graphs -- Tasks in Modular Proofs of Concurrent Algorithms -- On Gathering of Semi-Synchronous Robots in Graphs -- Brief Announcement: Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree Construction -- Brief Announcement: Distributed Computing in the Asynchronous LOCAL model -- An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms -- Brief Announcement: Self-Stabilizing LCM Schedulers for Autonomous Mobile Robots using Neighborhood Mutual Remainder -- Reducing the Number of Messages in Self-stabilizing Protocols -- A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory -- Exploration of dynamic ring networks by a single agent with the H-hops and S-time steps view -- iperfTZ: Understanding Network Bottlenecks for TrustZone-based Trusted Applications -- Atomic Cross-Chain Swaps with Improved Space and Local Time Complexity -- Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems -- Improved-Zigzag: An improved local-information based self-optimizing routing algorithm in virtual grid networks -- Fault Tolerant Network Constructors -- Ring Exploration of Myopic Luminous Robots with Visibility More than One -- Brief Announcement: Self-Stabilizing Construction of a Minimal Weakly nmathcal{ST}-Reachable Directed Acyclic Graph -- Adaptive Versioning in Transactional Memories -- Brief Announcement: Blockguard: Adaptive Blockchain Security -- Brief Announcement: Fully Anonymous Shared Memory Algorithms -- A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus -- Logarithmic Expected-Time Leader Election in Population Protocol Model -- A Self-stabilizing 1-maximal Independent Set Algorithm -- Black hole search despite Byzantine agents -- Self-Adjusting Linear Networks.
520 $a This book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019. The 21 full papers presented were carefully reviewed and selected from 45 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.
650 0 $a Self-stabilization (Computer science) $v Congresses. $3 446736
650 0 $a Electronic data processing $x Distributed processing $x Safety measures $v Congresses. $3 492006
650 0 $a Computer security $v Congresses. $3 383239
650 1 4 $a Computer Communication Networks. $3 218087
650 2 4 $a Computer System Implementation. $3 276333
650 2 4 $a Special Purpose and Application-Based Systems. $3 274487
650 2 4 $a Operating Systems. $3 274474
650 2 4 $a Information Systems Applications (incl. Internet) $3 530743
650 2 4 $a Mathematics of Computing. $3 273710
700 1 $a Ghaffari, Mohsen. $3 855345
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Theoretical computer science and general issues. $3 822018
856 4 0 $u https://doi.org/10.1007/978-3-030-34992-9
950 $a Computer Science (Springer-11645)