Self-similarity breeds resilience

zbMATH Open1478.68195arXiv1608.03127MaRDI QIDQ5015358FDOQ5015358

Authors: Sanjiva Prasad, Lenore D. Zuck 

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1608.03127

Recommendations

• scientific article; zbMATH DE number 17805
• Resilience to denial-of-service and integrity attacks: a structured systems approach
• Self-similarity of parallel machines
• The instability of self-stabilization
• Decidability of Resilience for Well-Structured Graph Transformation Systems

zbMATH Keywords

contextfault-tolerancebisimulationresilienceadversarywell-structured transition systemsbarbsbehavioural self-similarity

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer security (68M25)

Cites Work

• Functions as processes
• Well-structured transition systems everywhere!
• Barbed bisimulation
• A little knowledge goes a long way
• On bisimulations for the asynchronous \(\pi\)-calculus
• Transformation of programs for fault-tolerance
• A compositional framework for fault tolerance by specification transformation
• Title not available (Why is that?)
• A compositional protocol verification using relativized bisimulation
• Title not available (Why is that?)
• A semantic characterization for faults in replicated systems
• Distributed processes and location failures

This page was built for publication: Self-similarity breeds resilience

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015358)