تصفح Computer Science & Engineering حسب المؤلف "Rahman, Mohammad Saidur"
-
A Blockchain-Enabled Privacy-Preserving Verifiable Query Framework for Securing Cloud-Assisted Industrial Internet of Things Systems
Rahman, Mohammad Saidur; Khalil, Ibrahim; Moustafa, Nour; Kalapaaking, Aditya Pribadi; Bouras, Abdelaziz ( IEEE Computer Society , 2022 , Article)Advanced Industrial Internet-of-Things (IIoT), such as smart grids, 5G-enabled unmanned aerial vehicles (UAV), and supply chain 4.o, can be used to facilitate smart management. Nevertheless, IIoT systems generate huge ... -
A framework for modelling blockchain based supply chain management system to ensure soundness of smart contract workflow
Rahman, Mohammad Saidur; Khalil, Ibrahim; Bouras, Abdelaziz ( 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 Access Control for Secure Smart Industry Management Systems
Kalapaaking, Aditya Pribadi; Khalil, Ibrahim; Rahman, Mohammad Saidur; Bouras, Abdelaziz ( 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 ... -
Blockchain-of-blockchains: An interoperable blockchain platform for ensuring IoT data integrity in smart city
Rahman, Mohammad Saidur; Chamikara, M. A.P.; Khalil, Ibrahim; Bouras, Abdelaziz ( Elsevier , 2022 , Article)We propose a hierarchical blockchain-based platform for ensuring the integrity of smart city Internet-of-Things (IoT) data and blockchain interoperability in this paper. The well-defined structural hierarchy of managing ... -
Formalizing dynamic behaviors of smart contract workflow in smart healthcare supply chain
Rahman, Mohammad Saidur; Khalil, Ibrahim; Bouras, Abdelaziz ( 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 ...