Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings /

This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017. The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Spirakis, Paul (Επιμελητής έκδοσης), Tsigas, Philippas (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
Σειρά:Lecture Notes in Computer Science, 10616
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 05504nam a22005775i 4500
001 978-3-319-69084-1
003 DE-He213
005 20171006073158.0
007 cr nn 008mamaa
008 171006s2017 gw | s |||| 0|eng d
020 |a 9783319690841  |9 978-3-319-69084-1 
024 7 |a 10.1007/978-3-319-69084-1  |2 doi 
040 |d GrThAP 
050 4 |a TK5105.5-5105.9 
072 7 |a UKN  |2 bicssc 
072 7 |a COM075000  |2 bisacsh 
082 0 4 |a 004.6  |2 23 
245 1 0 |a Stabilization, Safety, and Security of Distributed Systems  |h [electronic resource] :  |b 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings /  |c edited by Paul Spirakis, Philippas Tsigas. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2017. 
300 |a XIII, 496 p. 82 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 10616 
505 0 |a Proof-Labeling Schemes: Broadcast, Unicast and in Between -- Self-Stabilizing Rendezvous of Synchronous Mobile Agents in Graphs -- The Dynamics and Stability of Probabilistic Population Processes -- Self-stabilizing Distributed Stable Marriage -- Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping -- Self-Tuning Eventually-Consistent Data Stores -- An Efficient Silent Self-Stabilizing 1-Maximal Matching Algorithm under Distributed Daemon for Arbitrary Networks -- An Improved Approximate Agreement Algorithm in the Presence of Mobile Byzantine Faults -- Fault-Induced Dynamics of Oblivious Robots on a Line -- Relaxed Data Types as Consistency Conditions -- Ant-Inspired Dynamic Task Allocation via Gossiping -- Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Limited visibility -- Robust Routing Made Easy -- Generalized Paxos Made Byzantine (and Less Complex) -- ASSESS: A Tool for Automated Synthesis of Distributed Self-Stabilizing Algorithms -- How to Simulate Message-passing Algorithms in mobile agent systems with faults -- A Self-Stabilizing General De Bruijn Graph -- Constant-Time Complete Visibility for Asynchronous Robots with Lights -- On Security Analysis of Proof-of-Elapsed-Time (PoET) -- Brief Announcement: Federated Code Auditing and Delivery for MPC -- Brief Announcement: Reduced Space Self-stabilizing Center Finding Algorithms in Chains and Trees -- A Fully Asynchronous and Fault Tolerant Distributed Algorithm to Compute a Minimum Graph Orientation -- Universally Optimal Gathering under Limited Visibility -- Optimum Algorithm for Mutual Visibility among Asynchronous Robots with Lights --  Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin -- Scalable Funding of Bitcoin Micropayment Channel Networks -- Brief Announcement: A Self-stabilizing Algorithm for the Minimal Generalized Dominating Set Problem -- Space-Optimal Proportion Consensus with Population Protocols -- Brief Announcement: Asynchronous, Distributed Optical Mutual Exclusion -- Brief Announcement: Passive and Active Attacks on Audience Response Systems Using Software Defined Radios -- Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness -- TorBricks: Blocking-Resistant Tor Bridge Distribution -- Cover Time in Edge-Uniform Stochastically-Evolving Graphs -- Bitcoin a Distributed Shared Register -- Broadcast Encryption with Both Temporary and Permanent Revocation -- Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights -- Brief Announcement: Space-efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings. . 
520 |a This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017. The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and selected from 68 initial submissions. This year the Symposium was organized into three tracks reflecting major trends related to self-* systems: Stabilizing Systems: Theory and Practice: Distributed Computing and Communication Networks; and Computer Security and Information Privacy. 
650 0 |a Computer science. 
650 0 |a Arithmetic and logic units, Computer. 
650 0 |a Computer communication systems. 
650 0 |a Special purpose computers. 
650 0 |a Architecture, Computer. 
650 0 |a Operating systems (Computers). 
650 0 |a Artificial intelligence. 
650 1 4 |a Computer Science. 
650 2 4 |a Computer Communication Networks. 
650 2 4 |a Special Purpose and Application-Based Systems. 
650 2 4 |a Computer System Implementation. 
650 2 4 |a Artificial Intelligence (incl. Robotics). 
650 2 4 |a Operating Systems. 
650 2 4 |a Arithmetic and Logic Structures. 
700 1 |a Spirakis, Paul.  |e editor. 
700 1 |a Tsigas, Philippas.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783319690834 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 10616 
856 4 0 |u http://dx.doi.org/10.1007/978-3-319-69084-1  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645)