Self-Similarity Breeds Resilience
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 o...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2016-08-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1608.03127v1 |
| _version_ | 1819043120254287872 |
|---|---|
| author | Sanjiva Prasad Lenore D. Zuck |
| author_facet | Sanjiva Prasad Lenore D. Zuck |
| author_sort | Sanjiva Prasad |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-21T09:51:44Z |
| format | Article |
| id | doaj.art-c2c4651923fe425e82ce82ac287389dd |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-21T09:51:44Z |
| publishDate | 2016-08-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-c2c4651923fe425e82ce82ac287389dd2022-12-21T19:08:10ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802016-08-01222Proc. EXPRESS/SOS 2016304410.4204/EPTCS.222.3:13Self-Similarity Breeds ResilienceSanjiva Prasad0Lenore D. Zuck1 Indian Institute of Technology Delhi 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.http://arxiv.org/pdf/1608.03127v1 |
| spellingShingle | Sanjiva Prasad Lenore D. Zuck Self-Similarity Breeds Resilience Electronic Proceedings in Theoretical Computer Science |
| title | Self-Similarity Breeds Resilience |
| title_full | Self-Similarity Breeds Resilience |
| title_fullStr | Self-Similarity Breeds Resilience |
| title_full_unstemmed | Self-Similarity Breeds Resilience |
| title_short | Self-Similarity Breeds Resilience |
| title_sort | self similarity breeds resilience |
| url | http://arxiv.org/pdf/1608.03127v1 |
| work_keys_str_mv | AT sanjivaprasad selfsimilaritybreedsresilience AT lenoredzuck selfsimilaritybreedsresilience |