Stabilization, safety, and security of distributed systems : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings /: 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings. (2017)
- Record Type:
- Book
- Title:
- Stabilization, safety, and security of distributed systems : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings /: 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings. (2017)
- Main Title:
- Stabilization, safety, and security of distributed systems : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings
- Other Titles:
- SSS 2017
- Further Information:
- Note: Paul Spirakis, Philippas Tsigas (eds.).
- Editors:
- Spirakis, P. G (Paul G.), 1955-
Tsigas, Philippas - Other Names:
- SSS (Symposium), 19th
- Contents:
- 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 andProof-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. … (more)
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2017
- Extent:
- 1 online resource (xiii, 496 pages), illustrations
- Subjects:
- 004/.36
Computer science
Self-stabilization (Computer science) -- Congresses
Electronic data processing -- Distributed processing -- Safety measures -- Congresses
Computer security -- Congresses
Computer security
Self-stabilization (Computer science)
Computers -- Expert Systems
Computers -- Information Technology
Computers -- Intelligence (AI) & Semantics
Computers -- Operating Systems -- General
Computers -- Logic Design
Expert systems / knowledge-based systems
Systems analysis & design
Artificial intelligence
Operating systems
Algorithms & data structures
Computer Communication Networks
Software engineering
Computer network architectures
Artificial intelligence
Operating systems (Computers)
Computers -- Hardware -- Network Hardware
Network hardware
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319690841
3319690841 - Related ISBNs:
- 9783319690834
3319690833 - Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed October 30, 2017).
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.366716
- Ingest File:
- 01_342.xml