- By:
- Jablonski, Matthew; Everett, Kyle; Ciocarlie, Gabriela; Duric, Zoran; Hathhorn, Chris; Kimmell, Jeffrey C; Orlyanchik, Vladimir ; Prevost, John; Robertson, Gordon E; Taylor, Curtis R; Wijesekera, Duminda; Saleeby, Kyle
- Page Number:
- 85-109
- Book Title:
- Critical Infrastructure Protection XVIII
- Publication Date:
- March 12, 2026
- Publisher Location:
- Springer, Cham, Switzerland
- Conference Name:
- Eighteenth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection (ICCIP)
- Conference Location:
- Washington D.C., District of Columbia, United States of America
- Conference Sponsor:
- Department of Energy
- View DOI Listing:
- https://doi.org/10.1007/978-3-031-81888-2_5
Abstract
Cyber attacks on networked automated manufacturing systems can severely impact part quality. In fact, malicious modifications may be introduced at any point during the manufacturing lifecycle. Therefore, it is vital to verify and validate that manufactured parts conform to their designs. This chapter describes a formal, end-to-end framework that verifies and validates the design integrity of manufactured parts by considering all potential points of alteration during precision manufacturing processes. The framework prevents unauthorized changes to computer-aided designs, verifies the correctness of translations from CAD models to G-code, maintains the integrity of G-code transferred to manufacturing machines, verifies the runtime execution of G-code and part geometry, and considers the contexts of manufacturing machine operations and how manufactured parts could be altered.
