Browsing by Author "Khalil, Ibrahim"

Now showing items 1-11 of 11

    • 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 Broker-Based Manufacturing Supply Chain Integration with Blockchain: Managing Odoo Workflows Using Hyperledger Fabric Smart Contracts 

      Belhi, Abdelhak; Gasmi, Houssem; Hammi, Assam; Bouras, Abdelaziz; Aouni, Belaid; ... more authors ( Springer Science and Business Media Deutschland GmbH , 2022 , Conference Paper)
      Nowadays, Blockchains are considered the go-to solution when it comes to secure and trust-ensuring platforms for critical data exchange. However, integrating this technology with existing systems is quite a challenging ...

    • A context-aware approach for long-term behavioural change detection and abnormality prediction in ambient assisted living 

      Forkan, Abdur Rahim Mohammad; Khalil, Ibrahim; Tari, Zahir; Foufou, Sebti; Bouras, Abdelaziz ( Elsevier , 2015 , Article)
      This research aims to describe pattern recognition models for detecting behavioural and health-related changes in a patient who is monitored continuously in an assisted living environment. The early anticipation of anomalies ...

    • 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 ...

    • A survey of clustering algorithms for big data: Taxonomy and empirical analysis 

      Fahad, Adil; Alshatri, Najlaa; Tari, Zahir; Alamri, Abdullah; Khalil, Ibrahim; ... more authors ( IEEE Computer Society , 2014 , Article)
      Clustering algorithms have emerged as an alternative powerful meta-learning tool to accurately analyze the massive volume of data generated by modern applications. In particular, their main goal is to categorize data into ...

    • 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-Based Manufacturing Supply Chain Management Using HyperLedger Fabric 

      Gasmi, Houssem; Belhi, Abdelhak; Hammi, Assam; Bouras, Abdelaziz; Aouni, Belaid; ... more authors ( Springer Science and Business Media Deutschland GmbH , 2022 , Conference Paper)
      Production of goods has reached record numbers in the last decades as it became more efficient and effective than ever before due to the automation and digitalization of the production process. This gave customers more ...

    • 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 ...

    • Health in times of uncertainty in the eastern Mediterranean region, 1990–2013: a systematic analysis for the Global Burden of Disease Study 2013 

      Mokdad, Ali H; Forouzanfar, Mohammad Hossein; Daoud, Farah; El Bcheraoui, Charbel; Moradi-Lakeh, Maziar; ... more authors ( Elsevier, Ltd , 2016 , Article)
      Background: The eastern Mediterranean region is comprised of 22 countries: Afghanistan, Bahrain, Djibouti, Egypt, Iran, Iraq, Jordan, Kuwait, Lebanon, Libya, Morocco, Oman, Pakistan, Palestine, Qatar, Saudi Arabia, Somalia, ...

    • Integration of business applications with the blockchain: Odoo and hyperledger fabric open source proof of concept 

      Belhi, Abdelhak; Gasmi, Houssem; Bouras, Abdelaziz; Aouni, Belaid; Khalil, Ibrahim ( Elsevier , 2021 , Conference Paper)
      Since its revolution in the financial sector, the blockchain technology disrupted the majority of collaboration-based applications including supply chain management. The supply chain is one of the most important sectors ...