{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:06:42Z","timestamp":1742983602488,"version":"3.40.3"},"publisher-location":"Cham","reference-count":50,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031818875"},{"type":"electronic","value":"9783031818882"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-81888-2_5","type":"book-chapter","created":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T12:36:48Z","timestamp":1740746208000},"page":"85-109","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An End-to-End Framework for\u00a0Verifying and\u00a0Validating Manufacturing Design Integrity"],"prefix":"10.1007","author":[{"given":"Matthew","family":"Jablonski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyle","family":"Everett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriela","family":"Ciocarlie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Duric","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Hathhorn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey","family":"Kimmell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Orlyanchik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Prevost","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gordon","family":"Robertson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Curtis","family":"Taylor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Duminda","family":"Wijesekera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyle","family":"Saleeby","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,28]]},"reference":[{"issue":"3","key":"5_CR1","first-page":"58","volume":"2","author":"B Arthaya","year":"2010","unstructured":"Arthaya, B., Setiawan, A., Sunardi, S.: The design and development of a G-code checker and cutting simulator for CNC turning operation. J. Mech. Eng. Res. 2(3), 58\u201370 (2010)","journal-title":"J. Mech. Eng. Res."},{"key":"5_CR2","unstructured":"Autodesk, Autodesk Fusion, San Rafael, California (2024). www.autodesk.com\/products\/fusion-360"},{"key":"5_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04736-1","volume-title":"Decrypted Secrets","author":"FL Bauer","year":"2002","unstructured":"Bauer, F.L.: Decrypted Secrets. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/978-3-662-04736-1"},{"key":"5_CR4","unstructured":"Belikovetsky, S., Yampolskiy, M., Toh, J., Gatlin, J., Elovici, Y.: dr0wned \u2013 cyber-physical attack with additive manufacturing. In: Proceedings of the Eleventh USENIX Workshop on Offensive Technologies (2017)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-030-17462-0_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G Belmonte","year":"2019","unstructured":"Belmonte, G., Ciancia, V., Latella, D., Massink, M.: VoxLogicA: a spatial model checker for declarative image analysis. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019. LNCS, vol. 11427, pp. 281\u2013298. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17462-0_16"},{"issue":"3","key":"5_CR6","doi-asserted-by":"publisher","first-page":"2910","DOI":"10.1109\/LRA.2019.2923099","volume":"4","author":"B Bohrer","year":"2019","unstructured":"Bohrer, B., Tan, Y., Mitsch, S., Sogokon, A., Platzer, A.: A formal safety net for waypoint-following in ground robots. IEEE Robot. Autom. Lett. 4(3), 2910\u20132917 (2019)","journal-title":"IEEE Robot. Autom. Lett."},{"key":"5_CR7","unstructured":"Carnegie Mellon University, Welcome to OSATE, Pittsburgh, Pennsylvania (2024). www.osate.org"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Chen, Z.: Development of OpenGL-based 3D simulator for computer numerical control. In: Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence, pp. 319\u2013321 (2010)","DOI":"10.1109\/AICI.2010.305"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s10009-018-0483-8","volume":"20","author":"V Ciancia","year":"2018","unstructured":"Ciancia, V., Gilmore, S., Grilletti, G., Latella, D., Loreti, M., Massink, M.: Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20, 289\u2013311 (2018)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"5_CR10","unstructured":"Dassault Systems \u2013 SolidWorks, SolidWorks, Maltham, Massachusetts (2024). www.solidworks.com"},{"key":"5_CR11","unstructured":"Delange, J., Feiler, P., Neil, E.: Incremental lifecycle assurance of safety-critical systems. In: Proceedings of the Eighth European Congress on Embedded Real Time Software and Systems (2016)"},{"issue":"3","key":"5_CR12","doi-asserted-by":"publisher","first-page":"493","DOI":"10.2307\/2372560","volume":"79","author":"L Dubins","year":"1957","unstructured":"Dubins, L.: On curves of minimal length with a constraint on average curvature and with prescribed initial and terminal positions and tangents. Am. J. Math. 79(3), 493\u2013516 (1957)","journal-title":"Am. J. Math."},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.promfg.2018.10.007","volume":"17","author":"T Duong","year":"2018","unstructured":"Duong, T., et al.: G-code visualization and editing program for inexpensive metal 3D printing. Procedia Manuf. 17, 22\u201328 (2018)","journal-title":"Procedia Manuf."},{"key":"5_CR14","volume-title":"Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language","author":"P Feiler","year":"2012","unstructured":"Feiler, P., Gluch, D.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language. Addison-Wesley, Upper Saddle River, New Jersey (2012)"},{"issue":"3","key":"5_CR15","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/2692956.2663177","volume":"34","author":"A Gacek","year":"2014","unstructured":"Gacek, A., Backes, J., Cofer, D., Slind, K., Whalen, M.: Resolute: an assurance case language for architecture models. ACM SIGAda Ada Lett. 34(3), 19\u201328 (2014)","journal-title":"ACM SIGAda Ada Lett."},{"key":"5_CR16","unstructured":"Greenhouse, A., Hansson, J., Wrage, L.: Modeling and Validating Security and Confidentiality in System Architectures, Technical Report CMU\/SEI-2021-TR-004, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania (2021)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Harte, T., Bors, A.: Watermarking 3D models. In: Proceedings of the International Conference on Image Processing, pp. 661\u2013884 (2002)","DOI":"10.1109\/ICIP.2002.1039057"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Holladay, R., Srinivasa, S.: Distance metrics and algorithms for task space path optimization. In: Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 5533\u20135540 (2016)","DOI":"10.1109\/IROS.2016.7759814"},{"key":"5_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-0025-4","volume-title":"Mastering 3D Printing","author":"J Horvath","year":"2014","unstructured":"Horvath, J.: Mastering 3D Printing. Apress, Berkeley, CA (2014). https:\/\/doi.org\/10.1007\/978-1-4842-0025-4"},{"key":"5_CR20","unstructured":"International Electrotechnical Commission: Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems, IEC 61508:2010, Geneva, Switzerland (2010)"},{"key":"5_CR21","unstructured":"International Organization of Standardization: ISO 10303-21: Industrial Automation Systems and Integration - Product Data Representation and Exchange, Part 21: Implementation Methods: Clear Text Encoding of the Exchange Structure, Geneva, Switzerland (2016)"},{"key":"5_CR22","unstructured":"IQS Directory, Computer Numerical Control (CNC) and CNC M-Codes, Grand Rapids, Michigan (2024). www.iqsdirectory.com\/articles\/cnc-machining\/m-code.html"},{"issue":"2","key":"5_CR23","doi-asserted-by":"publisher","first-page":"843","DOI":"10.3390\/sym7020843","volume":"7","author":"C Klingenberg","year":"2015","unstructured":"Klingenberg, C.: Analyzing fluctuating asymmetry with geometric morphometrics: concepts, methods and applications. Symmetry 7(2), 843\u2013934 (2015)","journal-title":"Symmetry"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Kramer, T., Proctor, F., Messina, E.: The NIST RS274NGC Interpreter - Version 3, NIST Interagency\/Internal Report 6556, National Institute of Standards and Technology, Gaithersburg, Maryland (2000)","DOI":"10.6028\/NIST.IR.6556"},{"key":"5_CR25","volume-title":"Temporal Logic and State Systems","author":"F Kroger","year":"2008","unstructured":"Kroger, F., Metz, S.: Temporal Logic and State Systems. Springer, Heidelberg (2008)"},{"key":"5_CR26","unstructured":"Kurfess, T., Lynn, R., Saleeby, K., Tucker, T., Saldana, C.: Multi-axis voxel-based CNC machining of centrifugal compressor assemblies. In: Presented at the AHS International Seventy-Fourth Annual Forum and Technology Display (2018)"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-031-20137-0_6","volume-title":"Critical Infrastructure Protection XVI: 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14\u201315, 2022, Revised Selected Papers","author":"E Kurkowski","year":"2022","unstructured":"Kurkowski, E., Van Stockum, A., Dawson, J., Taylor, C., Schulz, T., Shenoi, S.: Manipulation of G-code toolpath files in 3d printers: attacks and mitigations. In: Staggs, J., Shenoi, S. (eds.) Critical Infrastructure Protection XVI: 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14\u201315, 2022, Revised Selected Papers, pp. 155\u2013174. Springer Nature Switzerland, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-20137-0_6"},{"issue":"5","key":"5_CR28","doi-asserted-by":"publisher","first-page":"1379","DOI":"10.1016\/j.dsp.2010.01.003","volume":"20","author":"S Lee","year":"2010","unstructured":"Lee, S., Kwon, K.: CAD drawing watermarking scheme. Digit. Sig. Process. 20(5), 1379\u20131399 (2010)","journal-title":"Digit. Sig. Process."},{"key":"5_CR29","unstructured":"Leroy, X., Blazy, S., Kastner, D., Schommer, B., Pister, M., Ferdinand, C.: CompCert \u2013 a formally verified optimizing compiler. In: Proceedings of the Eighth European Congress on Embedded Real Time Software and Systems (2016)"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Li, Z., Gong, D., Tan, L., Luo, X., Liu, F., Bors, A.: Self-embedding watermarking method for G-code used in 3D printing. In: Proceedings of the IEEE International Workshop on Information Forensics and Security (2021)","DOI":"10.1109\/WIFS53200.2021.9648386"},{"key":"5_CR31","unstructured":"Library of Congress, STEP-File, ISO 10303-21, Washington, DC (2023). www.loc.gov\/preservation\/digital\/formats\/fdd\/fdd000448.shtml"},{"key":"5_CR32","unstructured":"Morrisett, G., et al.: TALx86: a realistic typed assembly language. In: Proceedings of the ACM SIGPLAN Workshop on Compiler Support for System Software (1999)"},{"key":"5_CR33","unstructured":"Necula, G.: Compiling with Proofs, Ph.D. Dissertation, School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania (1998)"},{"issue":"5","key":"5_CR34","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/358438.349314","volume":"35","author":"G Necula","year":"2000","unstructured":"Necula, G.: Translation validation for an optimizing compiler. ACM SIGPLAN Not. 35(5), 83\u201394 (2000)","journal-title":"ACM SIGPLAN Not."},{"issue":"2","key":"5_CR35","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1520\/SSMS20190038","volume":"3","author":"D Newman","year":"2019","unstructured":"Newman, D., Parto, M., Saleeby, K., Kurfess, T., Dugenske, A.: Development of a digital architecture for distributed CNC machine health monitoring. Smart Sustain. Manuf. Syst. 3(2), 68\u201382 (2019)","journal-title":"Smart Sustain. Manuf. Syst."},{"issue":"6","key":"5_CR36","doi-asserted-by":"publisher","first-page":"5361","DOI":"10.1109\/TMECH.2022.3179713","volume":"27","author":"H Pearce","year":"2022","unstructured":"Pearce, H., Yanamandra, K., Gupta, N., Karri, R.: FLAW3D: a Trojan-based cyber attack on the physical outcomes of additive manufacturing. IEEE\/ASME Trans. Mechatron. 27(6), 5361\u20135370 (2022)","journal-title":"IEEE\/ASME Trans. Mechatron."},{"issue":"2","key":"5_CR37","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1109\/MSEC.2021.3051235","volume":"19","author":"S Peisert","year":"2021","unstructured":"Peisert, S., et al.: Perspectives on the SolarWinds incident. IEEE Secur. Priv. 19(2), 7\u201313 (2021)","journal-title":"IEEE Secur. Priv."},{"issue":"7","key":"5_CR38","doi-asserted-by":"publisher","first-page":"1062","DOI":"10.1109\/5.771065","volume":"87","author":"F Petitcolas","year":"1999","unstructured":"Petitcolas, F., Anderson, R., Kuhn, M.: Information hiding - a survey. Proc. IEEE 87(7), 1062\u20131078 (1999)","journal-title":"Proc. IEEE"},{"key":"5_CR39","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","author":"A Platzer","year":"2008","unstructured":"Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reason. 41, 143\u2013189 (2008)","journal-title":"J. Autom. Reason."},{"key":"5_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0054170","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Pnueli","year":"1998","unstructured":"Pnueli, A., Siegel, M., Singerman, E.: Translation validation. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 151\u2013166. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0054170"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Rais, M., Li, Y., Ahmed, I.: Spatiotemporal G-code modeling for secure FDM-based 3D printing. In: Proceedings of the Twelfth ACM\/IEEE International Conference on Cyber-Physical Systems, pp. 177\u2013186 (2021)","DOI":"10.1145\/3450267.3450545"},{"key":"5_CR42","doi-asserted-by":"crossref","unstructured":"Ross, R., McEvilley, M., Oren, J.: Systems Security Engineering: Considerations for a Multidisciplinary Approach in the Engineering of Trustworthy Secure Systems, NIST Special Publication 800-160, Volume 1, National Institute of Standards and Technology, Gaithersburg, Maryland (2016)","DOI":"10.6028\/NIST.SP.800-160"},{"key":"5_CR43","unstructured":"SAE\u00a0International, Architecture\u00a0Analysis\u00a0and\u00a0Design\u00a0Language (AADL), AS5506D, Warrendale, Pennsylvania (2018). www.sae.org\/standards\/content\/as5506d"},{"key":"5_CR44","unstructured":"Saleeby, K.: Multi-agent open architecture for process monitoring and part certification, Ph.D. Dissertation, George W. Woodruff School of Mechanical Engineering, Georgia Institute of Technology, Atlanta, Georgia (2021)"},{"key":"5_CR45","unstructured":"Schafer, P.: Frechet view \u2013 A tool for exploring Frechet distance algorithms. In: Proceedings of the Thirty-Fifth International Symposium on Computational Geometry, pp. 66-1\u201366-5 (2019)"},{"key":"5_CR46","unstructured":"Siemens, NX CAD Software, Plano, Texas (2024). www.plm.sw.siemens.com\/en-US\/nx\/cad-online"},{"issue":"1","key":"5_CR47","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.jmsy.2017.05.007","volume":"44","author":"L Sturm","year":"2017","unstructured":"Sturm, L., Williams, C., Camelio, J., White, J., Parker, R.: Cyber-physical vulnerabilities in additive manufacturing systems: a case study attack on the .STL file with human subjects. J. Manuf. Syst. 44(1), 154\u2013164 (2017)","journal-title":"J. Manuf. Syst."},{"key":"5_CR48","unstructured":"Tuzhilin, A.: Who invented the Gromov-Hausdorff distance? arXivarXiv:1612.00728 (2016)"},{"key":"5_CR49","unstructured":"UPPAAL, UPPAAL, Uppsala, Sweden (2024). www.uppaal.org"},{"key":"5_CR50","first-page":"431","volume":"21","author":"M Yampolskiy","year":"2018","unstructured":"Yampolskiy, M., et al.: Security of additive manufacturing: attack taxonomy and survey. Addit. Manuf. 21, 431\u2013457 (2018)","journal-title":"Addit. Manuf."}],"container-title":["IFIP Advances in Information and Communication Technology","Critical Infrastructure Protection XVIII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-81888-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T12:36:59Z","timestamp":1740746219000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-81888-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031818875","9783031818882"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-81888-2_5","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"28 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCIP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Critical Infrastructure Protection","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Arlington, VA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 March 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 March 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccip2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ifip1110.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}