Securing Smart Manufacturing by Integrating Anomaly Detection With Zero-Knowledge Proofs | IEEE Journals & Magazine | IEEE Xplore