ZKASP: ZKP-based attestation of software possession for measuring instruments. (1st June 2022)

• Record Type: Journal Article
• Authors: Brandão, Luís T A N; Galhardo, Carlos E C; Peralta, René
• Is Part Of: Measurement science & technology. Volume 33:Number 6(2022)
• Publication Date: 2022-06-01
• Subjects: device attestation -- legal metrology -- proof of knowledge -- public auditability -- randomness beacon -- zero-knowledge proof; Physical measurements -- Periodicals; Scientific apparatus and instruments -- Periodicals; Equipment and Supplies -- Periodicals; Science -- instrumentation -- Periodicals; Technology -- instrumentation -- Periodicals; Mesures physiques -- Périodiques; Physical measurements; Scientific apparatus and instruments; Periodicals; 502.87
• DOI: 10.1088/1361-6501/ac5438
• Languages: English
• ISSNs: 0957-0233

Abstract

Abstract: Software-controlled measuring instruments used in commercial transactions, such as fuel dispensers and smart meters, are sometimes subject to 'memory replacement' attacks. Cybercriminals replace the approved software by a malicious one that then tampers with measurement results, inflicting a financial loss to customers and companies. To mitigate such attacks, legal metrology systems often require regular device attestation, where an auditor checks that the device possesses ('knows') the approved software. However, current attestation methods usually require the software to be known by the auditor, thus increasing the risk of inadvertent leakage or malicious theft of proprietary information, besides facilitating its malicious adulteration. We describe how this issue can be addressed in legal metrology systems by using z ero-k nowledge p roofs o f k nowledge (ZKPoK). These proofs enable attestation of possession of approved software, while ensuring its confidentiality from the auditor. To further provide publicly verifiable evidence of freshness, each such proof can be related to a fresh random value from a public randomness beacon. This article presents the basic conceptual idea, while also discussing pitfalls that should be avoided.