{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T18:40:49Z","timestamp":1766428849297,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031177149"},{"type":"electronic","value":"9783031177156"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-17715-6_8","type":"book-chapter","created":{"date-parts":[[2022,10,2]],"date-time":"2022-10-02T09:02:27Z","timestamp":1664701347000},"page":"96-113","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["On the\u00a0Formalization and\u00a0Computational Complexity of\u00a0Resilience Problems for\u00a0Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Musab A.","family":"Alturki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tajana","family":"Ban Kirigin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"Kanovich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vivek","family":"Nigam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andre","family":"Scedrov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,3]]},"reference":[{"issue":"3","key":"8_CR1","doi-asserted-by":"publisher","first-page":"299","DOI":"10.3233\/JCS-200012","volume":"29","author":"A Aires Urquiza","year":"2021","unstructured":"Aires Urquiza, A., et al.: Resource and timing aspects of security protocols. J. Comput. Secur. 29(3), 299\u2013340 (2021)","journal-title":"J. Comput. Secur."},{"issue":"5737","key":"8_CR2","doi-asserted-by":"publisher","first-page":"1034","DOI":"10.1126\/science.1111534","volume":"309","author":"B Allenby","year":"2005","unstructured":"Allenby, B., Fink, J.: Toward inherently secure and resilient societies. Science 309(5737), 1034\u20131036 (2005)","journal-title":"Science"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Banescu, S., Ochoa, M., Pretschner, A.: A framework for measuring software obfuscation resilience against automated attacks. In: 2015 IEEE\/ACM 1st International Workshop on Software Protection, pp. 45\u201351 (2015)","DOI":"10.1109\/SPRO.2015.16"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.ress.2013.03.012","volume":"117","author":"K Barker","year":"2013","unstructured":"Barker, K., Ramirez-Marquez, J.E., Rocco, C.M.: Resilience-based network component importance measures. Reliab. Eng. Syst. Saf. 117, 89\u201397 (2013)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"8_CR5","unstructured":"Bloomfield, R., et al.: Towards identifying and closing gaps in assurance of autonomous road vehicles-a collection of technical notes part 1. arXiv preprint arXiv:2003.00789 (2020)"},{"issue":"4","key":"8_CR6","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1193\/1.1623497","volume":"19","author":"M Bruneau","year":"2003","unstructured":"Bruneau, M., et al.: A framework to quantitatively assess and enhance the seismic resilience of communities. Earthq. Spectra 19(4), 733\u2013752 (2003)","journal-title":"Earthq. Spectra"},{"key":"8_CR7","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press (1972)"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.ress.2011.09.002","volume":"99","author":"D Henry","year":"2012","unstructured":"Henry, D., Ramirez-Marquez, J.E.: Generic metrics and quantitative approaches for system resilience as a function of time. Reliab. Eng. Syst. Saf. 99, 114\u2013122 (2012)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1146\/annurev.es.04.110173.000245","volume":"4","author":"CS Holling","year":"1973","unstructured":"Holling, C.S.: Resilience and stability of ecological systems. Annu. Rev. Ecol. Syst. 4(1), 1\u201323 (1973)","journal-title":"Annu. Rev. Ecol. Syst."},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.ress.2015.08.006","volume":"145","author":"S Hosseini","year":"2016","unstructured":"Hosseini, S., Barker, K., Ramirez-Marquez, J.E.: A review of definitions and measures of system resilience. Reliab. Eng. Syst. Saf. 145, 47\u201361 (2016)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"8_CR11","unstructured":"Huang, W., et al.: Formal verification of robustness and resilience of learning-enabled state estimation systems for robotics (2020)"},{"issue":"6","key":"8_CR12","doi-asserted-by":"publisher","first-page":"585","DOI":"10.3233\/JCS-0560","volume":"25","author":"M Kanovich","year":"2017","unstructured":"Kanovich, M., Ban Kirigin, T., Nigam, V., Scedrov, A., Talcott, C.L.: Time, computational complexity, and probability in the analysis of distance-bounding protocols. J. Comput. Secur. 25(6), 585\u2013630 (2017)","journal-title":"J. Comput. Secur."},{"issue":"3","key":"8_CR13","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1017\/S096012951500016X","volume":"27","author":"M Kanovich","year":"2017","unstructured":"Kanovich, M., Ban Kirigin, T., Nigam, V., Scedrov, A., Talcott, C.L., Perovic, R.: A rewriting framework and logic for activities subject to regulations. Math. Struct. Comput. Sci. 27(3), 332\u2013375 (2017)","journal-title":"Math. Struct. Comput. Sci."},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-030-91631-2_14","volume-title":"Protocols, Strands, and Logic","author":"M Kanovich","year":"2021","unstructured":"Kanovich, M., Kirigin, T.B., Nigam, V., Scedrov, A., Talcott, C.: On the complexity of verification of time-sensitive distributed systems. In: Dougherty, D., Meseguer, J., M\u00f6dersheim, S.A., Rowe, P. (eds.) Protocols, Strands, and Logic. LNCS, vol. 13066, pp. 251\u2013275. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-91631-2_14"},{"key":"8_CR15","unstructured":"Laprie, J.C.: From dependability to resilience. In: 38th IEEE\/IFIP International Conference on Dependable Systems and Networks, pp. G8\u2013G9. Citeseer (2008)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Madni, A.M., Erwin, D., Sievers, M.: Constructing models for systems resilience: challenges, concepts, and formal methods. Systems 8(1) (2020)","DOI":"10.3390\/systems8010003"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Madni, A.M., Sievers, M.: Combining formal and probabilistic modeling in resilient systems design. Procedia Comput. Sci. 153, 343\u2013351 (2019). 17th Annual Conference on Systems Engineering Research (CSER)","DOI":"10.1016\/j.procs.2019.05.088"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/978-3-319-74781-1_28","volume-title":"Software Engineering and Formal Methods","author":"IA Mason","year":"2018","unstructured":"Mason, I.A., Nigam, V., Talcott, C., Brito, A.: A framework for analyzing adaptive autonomous aerial vehicles. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 406\u2013422. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74781-1_28"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"33741","DOI":"10.1109\/ACCESS.2019.2903153","volume":"7","author":"S Mouelhi","year":"2019","unstructured":"Mouelhi, S., Laarouchi, M.E., Cancila, D., Chaouchi, H.: Predictive formal analysis of resilience in cyber-physical systems. IEEE Access 7, 33741\u201333758 (2019)","journal-title":"IEEE Access"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Nigam, V., Kim, M., Mason, I., Talcott, C.: Detection and diagnosis of deviations in distributed systems of autonomous agents. Math. Struct. Comput. Sci. (2022)","DOI":"10.1017\/S0960129522000251"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-031-12441-9_11","volume-title":"Rewriting Logic and its Applications (WRLA)","author":"V Nigam","year":"2022","unstructured":"Nigam, V., Talcott, C.: Automating safety proofs about cyber-physical systems using rewriting modulo SMT. In: Bae, K. (ed.) WRLA 2022. LNCS, vol. 13252, pp. 212\u2013229. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-12441-9_11"},{"key":"8_CR22","unstructured":"NIST: Autonomy levels for unmanned systems (ALFUS) framework. https:\/\/www.nist.gov\/system\/files\/documents\/el\/isd\/ks\/NISTSP_1011_ver_1-1.pdf"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Pregenzer, A.: Systems resilience: a new analytical framework for nuclear nonproliferation. Sandia National Laboratories, Albuquerque (2011)","DOI":"10.2172\/1034890"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Ross, R., Pillitteri, V., Graubart, R., Bodeau, D., McQuaid, R.: Developing cyber resilient systems: a systems security engineering approach. Technical report, National Institute of Standards and Technology (2019)","DOI":"10.6028\/NIST.SP.800-160v2"},{"key":"8_CR25","unstructured":"SAE: Recommended practice: taxonomy and definitions for terms related to driving automation systems for on-road motor vehicles. https:\/\/www.sae.org\/standards\/content\/j3016_202104\/"},{"key":"8_CR26","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0022-0000(70)80006-X","volume":"4","author":"WJ Savitch","year":"1970","unstructured":"Savitch, W.J.: Relationship between nondeterministic and deterministic tape classes. J. Comput. Syst. Sci. 4, 177\u2013192 (1970)","journal-title":"J. Comput. Syst. Sci."},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Sharma, V.C., Haran, A., Rakamaric, Z., Gopalakrishnan, G.: Towards formal approaches to system resilience. In: 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing, pp. 41\u201350 (2013)","DOI":"10.1109\/PRDC.2013.14"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-319-15545-6_18","volume-title":"Software, Services, and Systems","author":"C Talcott","year":"2015","unstructured":"Talcott, C., Arbab, F., Yadav, M.: Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems. In: De Nicola, R., Hennicker, R. (eds.) Software, Services, and Systems. LNCS, vol. 8950, pp. 273\u2013290. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15545-6_18"},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-34096-8_1","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems","author":"C Talcott","year":"2016","unstructured":"Talcott, C., Nigam, V., Arbab, F., Kapp\u00e9, T.: Formal specification and analysis of robust adaptive distributed cyber-physical systems. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) SFM 2016. LNCS, vol. 9700, pp. 1\u201335. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-34096-8_1"},{"key":"8_CR30","unstructured":"U.S. Department of Defense: Dictionary of military and associated terms. https:\/\/fas.org\/irp\/doddir\/dod\/jp1_02.pdf"},{"issue":"5","key":"8_CR31","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/3388890","volume":"63","author":"M Vardi","year":"2020","unstructured":"Vardi, M.: Efficiency vs. resilience: what COVID-19 teaches computing. Commun. ACM 63(5), 9 (2020)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2022"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-17715-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,2]],"date-time":"2022-10-02T23:03:39Z","timestamp":1664751819000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-17715-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031177149","9783031177156"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-17715-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"3 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tbilisi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/viam.science.tsu.ge\/clas2022\/ictac\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}