Self-Similarity Breeds Resilience

Sanjiva Prasad
(Indian Institute of Technology Delhi)
Lenore D. Zuck
(University of Illinois at Chicago)

Self-similarity is the property of a system being similar to a part of itself. We posit that a special class of behaviourally self-similar systems exhibits a degree of resilience to adversarial behaviour. We formalise the notions of system, adversary and resilience in operational terms, based on transition systems and observations. While the general problem of proving systems to be behaviourally self-similar is undecidable, we show, by casting them in the framework of well-structured transition systems, that there is an interesting class of systems for which the problem is decidable. We illustrate our prescriptive framework for resilience with some small examples, e.g., systems robust to failures in a fail-stop model, and those avoiding side-channel attacks.

In Daniel Gebler and Kirstin Peters: Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016), Québec City, Canada, 22nd August 2016, Electronic Proceedings in Theoretical Computer Science 222, pp. 30–44.
Published: 9th August 2016.

ArXived at: http://dx.doi.org/10.4204/EPTCS.222.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org