BlockASP: A Framework for AOP-Based Model Checking Blockchain System

AlSobeh, Anas M. R.; Magableh, Aws A.

doi:10.1109/access.2023.3325060

Cited by 14 publications

(7 citation statements)

References 49 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this regard, BCT offers potential as a way of enhancing ecosystem development in relation to concerns of transparency, food safety, and provenance in agri-food chains [130]. In addition, BCT has shown potential for enhanced management of global supply chains in terms of transparency, traceability, and security, all of which are reflected in a rise in efficiency [125,131].…”

Section: The Impact Of Iot Ai and Bct On The Environmental Sustainabi...mentioning

confidence: 99%

The Integration of the Internet of Things, Artificial Intelligence, and Blockchain Technology for Advancing the Wine Supply Chain

Adamashvili,

Zhizhilashvili,

Tricase

2024

Computers

View full text Add to dashboard Cite

The study presents a comprehensive examination of the recent advancements in the field of wine production using the Internet of Things (IoT), Artificial Intelligence (AI), and Blockchain Technology (BCT). The paper aims to provide insights into the implementation of these technologies in the wine supply chain and to identify the potential benefits associated with their use. The study highlights the various applications of IoT, AI, and BCT in wine production, including vineyard management, wine quality control, and supply chain management. It also discusses the potential benefits of these technologies, such as improved efficiency, increased transparency, and reduced costs. The study concludes by presenting the framework proposed by the authors in order to overcome the challenges associated with the implementation of these technologies in the wine supply chain and suggests areas for future research. The proposed framework meets the challenges of lack of transparency, lack of ecosystem management in the wine industry and irresponsible spending associated with the lack of monitoring and prediction tools. Overall, the study provides valuable insights into the potential of IoT, AI, and BCT in optimizing the wine supply chain and offers a comprehensive review of the existing literature on the study subject.

show abstract

Section: The Impact Of Iot Ai and Bct On The Environmental Sustainabi...mentioning

confidence: 99%

The Integration of the Internet of Things, Artificial Intelligence, and Blockchain Technology for Advancing the Wine Supply Chain

Adamashvili,

Zhizhilashvili,

Tricase

2024

Computers

View full text Add to dashboard Cite

show abstract

“…Additionally, BlockAsp can be used for blockchain model-checking, including smart contracts. With this method, security elements can be easily incorporated into the contract logic [77]. Additionally, "the advanced observe-based statistical model-checking (OSM) framework", which uses "aspect-oriented programming", can be used to increase the reliability and adaptability of systems where sensitive medical data is kept in dynamic environments such as the OTP [78].…”

Section: Blockchain Technologies Dedicated To Otpmentioning

confidence: 99%

Blockchain for Organ Transplantation: A Survey

Calik,

Bendechache

2024

Blockchains

View full text Add to dashboard Cite

As blockchain becomes more widely used, a growing number of application fields are becoming interested in blockchain to benefit from its decentralised nature, invariability, security, transparency, quick transaction capabilities, and cost-effectiveness. Blockchain has a wide range of applications and uses in healthcare. Distributed ledger technology facilitates the secure transfer of patient medical records, manages the medicine supply chain, and creates an efficient, transparent, safe, and effective way of communicating data across global healthcare. The organ transplantation process (OTP) is one of the healthcare areas that benefit from the use of such technology to make its process more secure and transparent. In this article, we put forward a systematic literature review analysis on the application of blockchain to the OTP. Additionally, we address and highlight the barriers and challenges that arise while using blockchain technology for the OTP. We also offer some suggestions for future developments that would enhance blockchain’s implementation in the OTP domain.

show abstract

“…To rectify the deficiencies of the previous compiler/weaver architecture, a novel design was proposed. AOP-based software security hardening is the subject of [19]. Secure patterns that were developed in AOP have been implemented in secure applications via memory code encryption.…”

Section: Aop Software Applicationmentioning

confidence: 99%

An ASCON AOP-SystemC Environment for Security Fault Analysis

Mestiri,

Barraj,

Bedoui

et al. 2024

Symmetry

View full text Add to dashboard Cite

Cryptographic devices’ complexity necessitates fast security simulation environments against fault attacks. SystemC, a promising candidate in Electronic System Levels (ESLs), can achieve higher simulation speeds while maintaining accuracy and reliability, and its modular and hierarchical design allows for efficient modeling of complex cryptographic algorithms and protocols. However, code modification is required for fault injection and detection. Aspect-Oriented Programming (AOP) can test cryptographic models’ robustness without modifications, potentially replacing real cryptanalysis schemes and reducing the time and effort required for fault injection and detection. Through the utilization of a fault injection/detection environment, this paper presents a novel approach to simulating the security fault attacks of ASCON cryptographic systems at the ESL. The purpose of this methodology is to evaluate the resistance of ASCON SystemC models against fault attacks. The proposed methodology leverages the advantages of AOP to enhance the fault injection and detection process. By applying AOP techniques, we inject faults into the SystemC models without making any changes to the main codebase. This approach not only improves the efficiency of testing cryptographic systems but also ensures that the main functionality remains intact during the fault injection process. The methodology was validated using three scenarios and SystemC ASCON as a case study. The first simulation involved evaluating fault detection capabilities, the second focused on the impact of AOP on executable file size and simulation time, and the third focused on the ESL impact on the ASCON design process. Simulation results show that this methodology can perfectly evaluate the robustness of the ASCON design against fault injection attacks with no significant impact on simulation time and file executable size. Additionally, the simulation results prove that the ASCON development life cycle at the ESL reduces the amount of time devoted to the design procedure by 83.34%, and the ASCON security attack simulations at the ESL decrease the simulation time by 40% compared to the register transfer level (RTL).

show abstract

BlockASP: A Framework for AOP-Based Model Checking Blockchain System

Cited by 14 publications

References 49 publications

The Integration of the Internet of Things, Artificial Intelligence, and Blockchain Technology for Advancing the Wine Supply Chain

The Integration of the Internet of Things, Artificial Intelligence, and Blockchain Technology for Advancing the Wine Supply Chain

Blockchain for Organ Transplantation: A Survey

An ASCON AOP-SystemC Environment for Security Fault Analysis

Contact Info

Product

Resources

About