000 05841nam a22006255i 4500
001 978-3-319-69084-1
003 DE-He213
005 20240730175144.0
007 cr nn 008mamaa
008 171006s2017 sz | s |||| 0|eng d
020 _a9783319690841
_9978-3-319-69084-1
024 7 _a10.1007/978-3-319-69084-1
_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] :
_b19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings /
_cedited by Paul Spirakis, Philippas Tsigas.
250 _a1st ed. 2017.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2017.
300 _aXIII, 496 p. 82 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v10616
505 0 _aProof-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 Synthesisof 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 Consensuswith 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 _aThis 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 _aComputer networks .
_931572
650 0 _aComputers, Special purpose.
_946653
650 0 _aComputer systems.
_9115645
650 0 _aArtificial intelligence.
_93407
650 0 _aOperating systems (Computers).
_95329
650 0 _aComputer arithmetic and logic units.
_936750
650 1 4 _aComputer Communication Networks.
_9115646
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aComputer System Implementation.
_938514
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aOperating Systems.
_937074
650 2 4 _aArithmetic and Logic Structures.
_936752
700 1 _aSpirakis, Paul.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9115647
700 1 _aTsigas, Philippas.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9115648
710 2 _aSpringerLink (Online service)
_9115649
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319690834
776 0 8 _iPrinted edition:
_z9783319690858
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v10616
_9115650
856 4 0 _uhttps://doi.org/10.1007/978-3-319-69084-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89800
_d89800