Research Article
Formalizing Dynamic Behaviors of Smart Contract Workflow in Smart Healthcare Supply Chain
@INPROCEEDINGS{10.1007/978-3-030-63095-9_25, author={Mohammad Saidur Rahman and Ibrahim Khalil and Abdelaziz Bouras}, title={Formalizing Dynamic Behaviors of Smart Contract Workflow in Smart Healthcare Supply Chain}, proceedings={Security and Privacy in Communication Networks. 16th EAI International Conference, SecureComm 2020, Washington, DC, USA, October 21-23, 2020, Proceedings, Part II}, proceedings_a={SECURECOMM PART 2}, year={2020}, month={12}, keywords={Blockchain Formal model Smart contract 12 healthcare supply chain Colored petri-net}, doi={10.1007/978-3-030-63095-9_25} }- Mohammad Saidur Rahman
Ibrahim Khalil
Abdelaziz Bouras
Year: 2020
Formalizing Dynamic Behaviors of Smart Contract Workflow in Smart Healthcare Supply Chain
SECURECOMM PART 2
Springer
DOI: 10.1007/978-3-030-63095-9_25
Abstract
We present a formal model for smart contract workflow using Colored Petri-Net in the context of a blockchain-based healthcare supply chain in this paper. Ensuring traceability of products is a crucial issue in a smart healthcare supply chain. Blockchain and smart contracts are two enabling technologies that ensure the traceability of products and prevent data tampering in the smart healthcare supply chain. In a blockchain-based supply chain, a workflow of smart contracts needs to created and executed based on the input data. The selection of smart contracts in the workflow is data-driven and dynamic. Hence, it is necessary to verify the correctness of the dynamic execution of smart contracts. In this paper, we develop a Colored Petri-Net based formalism to verify the correctness of dynamic behaviors of the smart contract workflow. We conduct experiments to evaluate the performance of our proposed model.
