Search
Now showing items 1-2 of 2
A framework for modelling blockchain based supply chain management system to ensure soundness of smart contract workflow
(
IEEE Computer Society
, 2021 , Conference Paper)
We propose a smart contract workflow verification framework for blockchain-based supply chain management systems. The proposed framework introduces a Petri-Net-based formalism to model smart contract workflow in a supply-chain ...
Blockchain-Based Lifecycle Approach towards a Secure Building Information Modelling (BIM) Workflow
(
Institute of Electrical and Electronics Engineers Inc.
, 2022 , Conference Paper)
Data safety concerns are critical during the whole lifecycle of any built asset from the design stage until destruction. Information security in Building Information Modeling (BIM) enabled projects represents a key factor ...