{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:31Z","timestamp":1750220731605,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T00:00:00Z","timestamp":1585526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100011103","name":"European Commission","doi-asserted-by":"publisher","award":["CZ.02.1.01\/0.0\/0.0\/16_019\/0000822"],"award-info":[{"award-number":["CZ.02.1.01\/0.0\/0.0\/16_019\/0000822"]}],"id":[{"id":"10.13039\/100011103","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,30]]},"DOI":"10.1145\/3341105.3374094","type":"proceedings-article","created":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:13:52Z","timestamp":1585484032000},"page":"1658-1661","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Verification of forensic readiness in software development"],"prefix":"10.1145","author":[{"given":"Lukas","family":"Daubner","sequence":"first","affiliation":[{"name":"Masaryk University, Brno, Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Macak","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbora","family":"Buhnova","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomas","family":"Pitner","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCC.2016.5"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/IMF.2009.17"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISC2.2016.7580754"},{"key":"e_1_3_2_1_4_1","volume-title":"Digital evidence and computer crime","author":"Casey Eoghan","unstructured":"Eoghan Casey . 2011. Digital evidence and computer crime ( 3 rd ed ed.). Academic Press , Waltham, MA . Eoghan Casey. 2011. Digital evidence and computer crime (3rd ed ed.). Academic Press, Waltham, MA.","edition":"3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5269-7"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1080\/08874417.2014.11645708"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.11916\/j.issn.1005-9113.2015.01.001"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6400441"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.05.004"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.diin.2017.06.004"},{"key":"e_1_3_2_1_11_1","volume-title":"Liliana Pasquale, and Bashar Nuseibeh.","author":"Grispos George","year":"2017","unstructured":"George Grispos , Jes\u00fas Garc\u00eda Gal\u00e1n , Liliana Pasquale, and Bashar Nuseibeh. 2017 . Are You Ready? Towards the Engineering of Forensic-Ready Systems . (05 2017). George Grispos, Jes\u00fas Garc\u00eda Gal\u00e1n, Liliana Pasquale, and Bashar Nuseibeh. 2017. Are You Ready? Towards the Engineering of Forensic-Ready Systems. (05 2017)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CHASE.2017.68"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.diin.2009.06.015"},{"volume-title":"UMLsec: Extending UML for Secure Systems Development. In \u00abUML\u00bb 2002 --- The Unified Modeling Language","author":"J\u00fcrjens Jan","key":"e_1_3_2_1_14_1","unstructured":"Jan J\u00fcrjens . 2002. UMLsec: Extending UML for Secure Systems Development. In \u00abUML\u00bb 2002 --- The Unified Modeling Language . Springer Berlin Heidelberg , Berlin, Heidelberg , 412--425. Jan J\u00fcrjens. 2002. UMLsec: Extending UML for Secure Systems Development. In \u00abUML\u00bb 2002 --- The Unified Modeling Language. Springer Berlin Heidelberg, Berlin, Heidelberg, 412--425."},{"volume-title":"Automated Verification of UMLsec Models for Security Requirements. In \u00abUML\u00bb 2004 --- The Unified Modeling Language. Modeling Languages and Applications","author":"J\u00fcrjens Jan","key":"e_1_3_2_1_15_1","unstructured":"Jan J\u00fcrjens and Pasha Shabalin . 2004. Automated Verification of UMLsec Models for Security Requirements. In \u00abUML\u00bb 2004 --- The Unified Modeling Language. Modeling Languages and Applications . Springer Berlin Heidelberg , Berlin, Heidelberg , 365--379. Jan J\u00fcrjens and Pasha Shabalin. 2004. Automated Verification of UMLsec Models for Security Requirements. In \u00abUML\u00bb 2004 --- The Unified Modeling Language. Modeling Languages and Applications. Springer Berlin Heidelberg, Berlin, Heidelberg, 365--379."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.08.006"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183399.3183426"},{"key":"e_1_3_2_1_18_1","volume-title":"A Ten Step Process for Forensic Readiness. IJDE 2 (01","author":"Rowlingson Robert","year":"2004","unstructured":"Robert Rowlingson . 2004. A Ten Step Process for Forensic Readiness. IJDE 2 (01 2004 ). Robert Rowlingson. 2004. A Ten Step Process for Forensic Readiness. IJDE 2 (01 2004)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.13052\/jsn2445-9739.2017.009"},{"key":"e_1_3_2_1_20_1","volume-title":"Forensic readiness. (08","author":"Tan John","year":"2001","unstructured":"John Tan . 2001. Forensic readiness. (08 2001 ). John Tan. 2001. Forensic readiness. (08 2001)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0486-9"},{"key":"e_1_3_2_1_22_1","volume-title":"Van Der Aalst","author":"Wil M.","year":"2018","unstructured":"Wil M. P. Van Der Aalst . 2018 . Process Mining : Data Science in Action. Springer Publishing Company , Incorporated. Wil M. P. Van Der Aalst. 2018. Process Mining: Data Science in Action. Springer Publishing Company, Incorporated."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/BigData.2017.8258167"}],"event":{"name":"SAC '20: The 35th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Brno Czech Republic","acronym":"SAC '20"},"container-title":["Proceedings of the 35th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3374094","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341105.3374094","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:24Z","timestamp":1750199904000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3374094"}},"subtitle":["a roadmap"],"short-title":[],"issued":{"date-parts":[[2020,3,30]]},"references-count":23,"alternative-id":["10.1145\/3341105.3374094","10.1145\/3341105"],"URL":"https:\/\/doi.org\/10.1145\/3341105.3374094","relation":{},"subject":[],"published":{"date-parts":[[2020,3,30]]},"assertion":[{"value":"2020-03-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}