A major problem in blockchain-based supply chain management is the potential unreliability of digital twins when considering digital representations of physical goods. Indeed, the use of blockchain technology to trace goods is obviously ineffective if there is no strong correspondence between what is physically exchanged and the digital information that appears in blockchain transactions. In this work, we propose a model for strengthening the supply chain management of physical goods by leveraging blockchain technology along with a digital-twin verification feature. Our model can be instantiated in various scenarios and we have in particular considered the popular case of food traceability. In contrast to other models known in the literature that propose their own ad-hoc properties to assess the robustness of their supply chain management systems, in this work, we use the formalism of secure computation, where processes are described through generic and natural ideal functionalities.
Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins / Botta, V.; Fusco, L.; Mondelli, A.; Visconti, I.. - (2023), pp. 291-298. (Intervento presentato al convegno Information Technology for Social Good tenutosi a Lisbon; Portugal) [10.1145/3582515.3609547].
Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins
Botta V.
;Visconti I.
2023
Abstract
A major problem in blockchain-based supply chain management is the potential unreliability of digital twins when considering digital representations of physical goods. Indeed, the use of blockchain technology to trace goods is obviously ineffective if there is no strong correspondence between what is physically exchanged and the digital information that appears in blockchain transactions. In this work, we propose a model for strengthening the supply chain management of physical goods by leveraging blockchain technology along with a digital-twin verification feature. Our model can be instantiated in various scenarios and we have in particular considered the popular case of food traceability. In contrast to other models known in the literature that propose their own ad-hoc properties to assess the robustness of their supply chain management systems, in this work, we use the formalism of secure computation, where processes are described through generic and natural ideal functionalities.File | Dimensione | Formato | |
---|---|---|---|
Botta_Secure_2023.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
568.46 kB
Formato
Adobe PDF
|
568.46 kB | Adobe PDF | Contatta l'autore |
Botta_preprint_Secure_2023.pdf
accesso aperto
Note: https://doi.org/10.1145/3582515.360954
Tipologia:
Documento in Pre-print (manoscritto inviato all'editore, precedente alla peer review)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
305.46 kB
Formato
Adobe PDF
|
305.46 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.