Search
Now showing items 1-2 of 2
Blockchain-Based Access Control for Secure Smart Industry Management Systems
(
Springer Science and Business Media Deutschland GmbH
, 2022 , Conference Paper)
Smart manufacturing systems involve a large number of interconnected devices resulting in massive data generation. Cloud computing technology has recently gained increasing attention in smart manufacturing systems for ...
Formalizing dynamic behaviors of smart contract workflow in smart healthcare supply chain
(
Springer Science and Business Media Deutschland GmbH
, 2020 , Conference Paper)
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 ...