{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:02:03Z","timestamp":1750309323985,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T00:00:00Z","timestamp":1712534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"NSF","award":["ATD 2123761","CNS 1822118"],"award-info":[{"award-number":["ATD 2123761","CNS 1822118"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,8]]},"DOI":"10.1145\/3605098.3636066","type":"proceedings-article","created":{"date-parts":[[2024,5,21]],"date-time":"2024-05-21T17:59:16Z","timestamp":1716314356000},"page":"1292-1300","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Methodology for Resiliency Analysis of Mission-critical Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9407-6342","authenticated-orcid":false,"given":"Mahmoud","family":"Abdelgawad","sequence":"first","affiliation":[{"name":"Department of Computer Science, Colorado State University, Fort Collins, CO, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0714-7676","authenticated-orcid":false,"given":"Indrakshi","family":"Ray","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Colorado State University, Fort Collins, CO, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44274-2_37"},{"volume-title":"The proceeding of the 21st Annual Computer Security Applications Conference (ACSAC)","author":"Chong Jennifer","key":"e_1_3_2_1_2_1","unstructured":"Jennifer Chong, Partha Pal, Michael Atigetchi, Paul Rubel, and Franklin Webber. 2005. Survivability architecture of a mission critical system: The DPASA example. In The proceeding of the 21st Annual Computer Security Applications Conference (ACSAC). IEEE Computer Society, Tucson, AZ, USA, 495--504."},{"key":"e_1_3_2_1_3_1","unstructured":"CPN Tools Administration. 2018. Help topics for verification. http:\/\/cpntools.org\/2018\/01\/15\/verification\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.25046\/aj030215"},{"key":"e_1_3_2_1_5_1","volume-title":"Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. STTT 9 (05","author":"Jensen Kurt","year":"2007","unstructured":"Kurt Jensen, Lars Kristensen, and Lisa Wells. 2007. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. STTT 9 (05 2007), 213--254."},{"volume-title":"Coloured Petri Nets: Modelling and Validation of Concurrent Systems","author":"Jensen Kurt","key":"e_1_3_2_1_6_1","unstructured":"Kurt Jensen and Lars Michael Kristensen. 2009. Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer International Publishing, Cham."},{"key":"e_1_3_2_1_7_1","volume-title":"Kristensen","author":"Jensen Kurt","year":"2009","unstructured":"Kurt Jensen and Lars M. Kristensen. 2009. CPN ML Programming. Springer Berlin Heidelberg, Berlin, Heidelberg, 43--77."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22264-6_16"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11203-9_20"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0028-8"},{"key":"e_1_3_2_1_11_1","volume-title":"Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, S\u00f8ren Christensen, and Kurt Jensen.","author":"Ratzer Anne V.","year":"2003","unstructured":"Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, S\u00f8ren Christensen, and Kurt Jensen. 2003. CPN Tools for Editing, Simulating and Analysing Coloured Petri Nets. In The proceeding of the Applications and Theory of Petri Nets 2003: 24th International Conference (ICATPN), Wil M. P. van der Aalst and Eike Best (Eds.), Vol. 2679. Springer, Eindhoven, The Netherlands, 450--462."},{"key":"e_1_3_2_1_12_1","first-page":"224","article-title":"NIST Special Publication 800-160 Volume 2: Developing Cyber Resilient Systems","volume":"2","author":"Ross Ron","year":"2019","unstructured":"Ron Ross, V Pillitteri, R Graubart, D Bodeau, and R McQuaid. 2019. NIST Special Publication 800-160 Volume 2: Developing Cyber Resilient Systems. NIST Special Publication 2 (2019), 224.","journal-title":"NIST Special Publication"},{"key":"e_1_3_2_1_13_1","volume-title":"Satisfiability and Resiliency in Workflow Authorization Systems. ACM transactions on information and system security 13, 4","author":"Wang Qihua","year":"2010","unstructured":"Qihua Wang and Ninghui Li. 2010. Satisfiability and Resiliency in Workflow Authorization Systems. ACM transactions on information and system security 13, 4 (2010), 1--35."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2013.31"}],"event":{"name":"SAC '24: 39th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Avila Spain","acronym":"SAC '24"},"container-title":["Proceedings of the 39th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605098.3636066","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3605098.3636066","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:00Z","timestamp":1750291440000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605098.3636066"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,8]]},"references-count":14,"alternative-id":["10.1145\/3605098.3636066","10.1145\/3605098"],"URL":"https:\/\/doi.org\/10.1145\/3605098.3636066","relation":{},"subject":[],"published":{"date-parts":[[2024,4,8]]},"assertion":[{"value":"2024-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}