{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:10:34Z","timestamp":1755839434763,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"The Cybersecurity Manufacturing Innovation Institute - U.S. Department of Energy's Office","award":["DE-EE0009046"],"award-info":[{"award-number":["DE-EE0009046"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,11]]},"DOI":"10.1145\/3560833.3563566","type":"proceedings-article","created":{"date-parts":[[2022,11,2]],"date-time":"2022-11-02T22:34:50Z","timestamp":1667428490000},"page":"3-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Model-Based Security Analysis in Additive Manufacturing Systems"],"prefix":"10.1145","author":[{"given":"Michael R.","family":"Durling","sequence":"first","affiliation":[{"name":"General Electric Research Center, Niskayuna, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abha","family":"Moitra","sequence":"additional","affiliation":[{"name":"General Electric Research Center, Niskayuna, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kit Y.","family":"Siu","sequence":"additional","affiliation":[{"name":"General Electric Research Center, Niskayuna, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baoluo","family":"Meng","sequence":"additional","affiliation":[{"name":"General Electric Research Center, Niskayuna, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John W.","family":"Carbone","sequence":"additional","affiliation":[{"name":"General Electric Research Center, Niskayuna, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher C.","family":"Alexander","sequence":"additional","affiliation":[{"name":"General Electric Research Center, Niskayuna, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krystel K.","family":"Castillo-Villar","sequence":"additional","affiliation":[{"name":"The University of Texas at San Antonio, San Antonio, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriela F.","family":"Ciocarlie","sequence":"additional","affiliation":[{"name":"The University of Texas at San Antonio, San Antonio, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,7]]},"reference":[{"volume-title":"Retrieved","year":"2017","key":"e_1_3_2_1_1_1","unstructured":"1 ] 2017 . What is SySML-Sec ? Retrieved June 27, 2022 from https:\/\/sysml-sec. telecom-paris.fr\/ 1] 2017. What is SySML-Sec? Retrieved June 27, 2022 from https:\/\/sysml-sec. telecom-paris.fr\/"},{"volume-title":"Retrieved","year":"2022","key":"e_1_3_2_1_2_1","unstructured":"2020. Micosoft Threat Modeling Tool . Retrieved June 27, 2022 from https:\/\/docs. microsoft.com\/en-us\/azure\/security\/develop\/threat-modeling-tool 2020. Micosoft Threat Modeling Tool. Retrieved June 27, 2022 from https:\/\/docs. microsoft.com\/en-us\/azure\/security\/develop\/threat-modeling-tool"},{"volume-title":"Retrieved","year":"2022","key":"e_1_3_2_1_3_1","unstructured":"2020. Security and Privacy Controls for Information Systems and Organizations . Retrieved June 27, 2022 from https:\/\/csrc.nist.gov\/publications\/detail\/sp\/800- 53\/rev-5\/final 2020. Security and Privacy Controls for Information Systems and Organizations. Retrieved June 27, 2022 from https:\/\/csrc.nist.gov\/publications\/detail\/sp\/800- 53\/rev-5\/final"},{"key":"e_1_3_2_1_4_1","unstructured":"2020. VERDICT Github. Retrieved June 27 2022 from https:\/\/github.com\/gehigh-assurance\/VERDICT  2020. VERDICT Github. Retrieved June 27 2022 from https:\/\/github.com\/gehigh-assurance\/VERDICT"},{"volume-title":"Retrieved","year":"2022","key":"e_1_3_2_1_5_1","unstructured":"2020. What is TTool ? Retrieved June 27, 2022 from https:\/\/ttool.telecom-paris.fr\/ 2020. What is TTool? Retrieved June 27, 2022 from https:\/\/ttool.telecom-paris.fr\/"},{"volume-title":"Retrieved","year":"2022","key":"e_1_3_2_1_6_1","unstructured":"2021. Mitre Common Enumeration of Vulnerabilies . Retrieved June 27, 2022 from https:\/\/cve.mitre.org\/ 2021. Mitre Common Enumeration of Vulnerabilies. Retrieved June 27, 2022 from https:\/\/cve.mitre.org\/"},{"key":"e_1_3_2_1_7_1","volume-title":"MITRE. Retrieved","author":"MITRE","year":"2022","unstructured":"MITRE 2022 . Mitre Common Attack Pattern Enumeration and Classification list . MITRE. Retrieved June 27, 2022 from http:\/\/capec.mitre.org\/ MITRE 2022. Mitre Common Attack Pattern Enumeration and Classification list. MITRE. Retrieved June 27, 2022 from http:\/\/capec.mitre.org\/"},{"key":"e_1_3_2_1_8_1","volume-title":"MITRE. Retrieved","author":"MITRE","year":"2022","unstructured":"MITRE 2022 . Mitre Common Weakness Enumerations . MITRE. Retrieved June 27, 2022 from https:\/\/cwe.mitre.org\/ MITRE 2022. Mitre Common Weakness Enumerations. MITRE. Retrieved June 27, 2022 from https:\/\/cwe.mitre.org\/"},{"volume-title":"NIST National Vulnerability Database. Retrieved","year":"2022","key":"e_1_3_2_1_9_1","unstructured":"2022. NIST National Vulnerability Database. Retrieved September 1, 2022 from https:\/\/nvd.nist.gov\/ 2022. NIST National Vulnerability Database. Retrieved September 1, 2022 from https:\/\/nvd.nist.gov\/"},{"key":"e_1_3_2_1_10_1","volume-title":"Charbel Jose Chiappetta Jabbour, and Imane Benkhati","author":"Belhadi Amine","year":"2022","unstructured":"Amine Belhadi , Sachin S Kamble , Mani Venkatesh , Charbel Jose Chiappetta Jabbour, and Imane Benkhati . 2022 . Building supply chain resilience and efficiency through additive manufacturing: An ambidextrous perspective on the dynamic capability view. International Journal of Production Economics ( 2022), 108516. Amine Belhadi, Sachin S Kamble, Mani Venkatesh, Charbel Jose Chiappetta Jabbour, and Imane Benkhati. 2022. Building supply chain resilience and efficiency through additive manufacturing: An ambidextrous perspective on the dynamic capability view. International Journal of Production Economics (2022), 108516."},{"key":"e_1_3_2_1_11_1","volume-title":"2019 International Solid Freeform Fabrication Symposium. University of Texas at Austin.","author":"Carter William","year":"2019","unstructured":"William Carter , Michael Tucker , Michael Mahony , David Toledano , Robert Butler , Subhrajit Roychowdhury , Abdalla R Nassar , David J Corbin , Mark D Benedict , and Adam S Hicks . 2019 . An open-architecture multi-laser research platform for acceleration of large-scale additive manufacturing (ALSAM) . In 2019 International Solid Freeform Fabrication Symposium. University of Texas at Austin. William Carter, Michael Tucker, Michael Mahony, David Toledano, Robert Butler, Subhrajit Roychowdhury, Abdalla R Nassar, David J Corbin, Mark D Benedict, and Adam S Hicks. 2019. An open-architecture multi-laser research platform for acceleration of large-scale additive manufacturing (ALSAM). In 2019 International Solid Freeform Fabrication Symposium. University of Texas at Austin."},{"key":"e_1_3_2_1_12_1","unstructured":"Krystel K. Castillo-Villar Wayne Austad Kolton Keith and Maria Aranguren. 2021. Cybersecurity Energy and Emissions Quantification Scheme - Baseline of Knowledge Report.  Krystel K. Castillo-Villar Wayne Austad Kolton Keith and Maria Aranguren. 2021. Cybersecurity Energy and Emissions Quantification Scheme - Baseline of Knowledge Report."},{"key":"e_1_3_2_1_13_1","volume-title":"Retrieved","author":"Cofer Darren","year":"2021","unstructured":"Darren Cofer . 2021 . Cyber assured systems engineering with AADL . Retrieved June 27, 2022 from https:\/\/resources.sei.cmu.edu\/asset_files\/Presentation\/2021_ 017_001_651964.pdf Darren Cofer. 2021. Cyber assured systems engineering with AADL. Retrieved June 27, 2022 from https:\/\/resources.sei.cmu.edu\/asset_files\/Presentation\/2021_ 017_001_651964.pdf"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSEC.2022.3151733"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS-C.2018.00106"},{"volume-title":"Retrieved","year":"2011","key":"e_1_3_2_1_16_1","unstructured":"Filton. 2011 . The Printed World: Three dimensional printing from digital designs . Retrieved June 27, 2022 from www.economist.com\/node\/18114221 Filton. 2011. The Printed World: Three dimensional printing from digital designs. Retrieved June 27, 2022 from www.economist.com\/node\/18114221"},{"key":"e_1_3_2_1_17_1","volume-title":"Retrieved","author":"Henniger Olaf","year":"2009","unstructured":"Olaf Henniger and Robert Bosch . 2009 . EVITA, E-safety vehicle intrusion protected applications . Retrieved June 27, 2022 from https:\/\/www.evita-project.org\/ Publications\/HS09.pdf Olaf Henniger and Robert Bosch. 2009. EVITA, E-safety vehicle intrusion protected applications. Retrieved June 27, 2022 from https:\/\/www.evita-project.org\/ Publications\/HS09.pdf"},{"key":"e_1_3_2_1_18_1","volume-title":"Deriving Cyber-security Requirements for Cyber Physical Systems. ArXiv abs\/1901.01867","author":"Laddaga Robert","year":"2019","unstructured":"Robert Laddaga , Paul Robertson , Howard E. Shrobe , Daniel Cerys , Prakash Manghwani , and Patrik Meijer . 2019. Deriving Cyber-security Requirements for Cyber Physical Systems. ArXiv abs\/1901.01867 ( 2019 ). https:\/\/arxiv.org\/pdf\/1901. 01867.pdf Robert Laddaga, Paul Robertson, Howard E. Shrobe, Daniel Cerys, Prakash Manghwani, and Patrik Meijer. 2019. Deriving Cyber-security Requirements for Cyber Physical Systems. ArXiv abs\/1901.01867 (2019). https:\/\/arxiv.org\/pdf\/1901. 01867.pdf"},{"key":"e_1_3_2_1_19_1","volume-title":"Michael Durling, Cesare Tinelli, and Omar Chowdhury.","author":"Meng Baoluo","year":"2021","unstructured":"Baoluo Meng , Daniel Larraz , Kit Siu , Abha Moitra , John Interrante , William Smith , Saswata Paul , Daniel Prince , Heber Herencia-Zapana , M. Fareed Arif , Moosa Yahyazadeh , Vidhya Tekken Valapil , Michael Durling, Cesare Tinelli, and Omar Chowdhury. 2021 . VERDICT : A Language and Framework for Engineering Cyber Resilient and Safe System. Systems 9, 1 (2021). https:\/\/doi.org\/10.3390\/ systems9010018 Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, and Omar Chowdhury. 2021. VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Systems 9, 1 (2021). https:\/\/doi.org\/10.3390\/ systems9010018"},{"key":"e_1_3_2_1_20_1","volume-title":"Automating the Assembly of Security Assurance Case Fragments. In International Conference on Computer Safety, Reliability, and Security. Springer, 101--114","author":"Meng Baoluo","year":"2021","unstructured":"Baoluo Meng , Saswata Paul , Abha Moitra , Kit Siu , and Michael Durling . 2021 . Automating the Assembly of Security Assurance Case Fragments. In International Conference on Computer Safety, Reliability, and Security. Springer, 101--114 . Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, and Michael Durling. 2021. Automating the Assembly of Security Assurance Case Fragments. In International Conference on Computer Safety, Reliability, and Security. Springer, 101--114."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.4271\/11-04-01-0001"},{"key":"e_1_3_2_1_22_1","volume-title":"Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. In NASA Formal Methods Symposium. Springer, 752-- 770","author":"Meng Baoluo","year":"2022","unstructured":"Baoluo Meng , Arjun Viswanathan , William Smith , Abha Moitra , Kit Siu , and Michael Durling . 2022 . Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. In NASA Formal Methods Symposium. Springer, 752-- 770 . Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, and Michael Durling. 2022. Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. In NASA Formal Methods Symposium. Springer, 752-- 770."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.4271\/11-03-02-0005"},{"key":"e_1_3_2_1_24_1","volume-title":"International Conference on Cyber Warfare and Security. Academic Conferences International Limited, 597--XVI.","author":"Patten Terry","year":"2020","unstructured":"Terry Patten , Daniel Mitchell , and Catherine Call . 2020 . Cyber attack grammars for risk\/cost analysis . In International Conference on Cyber Warfare and Security. Academic Conferences International Limited, 597--XVI. Terry Patten, Daniel Mitchell, and Catherine Call. 2020. Cyber attack grammars for risk\/cost analysis. In International Conference on Cyber Warfare and Security. Academic Conferences International Limited, 597--XVI."},{"key":"e_1_3_2_1_25_1","volume-title":"Retrieved","author":"Simpson Timothy","year":"2018","unstructured":"Timothy Simpson . 2018 . Why Does My 3D-Printed Part Cost So Much ? Retrieved June 27, 2022 from www.additivemanufacturing.media\/articles\/why-does-my3d-printed-part-cost-so-much Timothy Simpson. 2018. Why Does My 3D-Printed Part Cost So Much? Retrieved June 27, 2022 from www.additivemanufacturing.media\/articles\/why-does-my3d-printed-part-cost-so-much"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC43569.2019.9081652"}],"event":{"name":"CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Los Angeles CA USA","acronym":"CCS '22"},"container-title":["Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D Printing) Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3560833.3563566","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3560833.3563566","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:34Z","timestamp":1750186834000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3560833.3563566"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":26,"alternative-id":["10.1145\/3560833.3563566","10.1145\/3560833"],"URL":"https:\/\/doi.org\/10.1145\/3560833.3563566","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}