HIGH LEVEL OF SECURITY AND CONTINUOUS MONITORING FOR ANALYZING SMART CONTRACT BEHAVIORS

Sangeetha R; Veena M N

doi:10.29121/granthaalayah.v13.i4.2025.6031

Authors

Sangeetha R Assistant Professor, CIST, Manasa Gangortri, University of Mysore, Mysuru-570006, India
Dr. Veena M N Professor, Department of MCAPES College of Engineering, Shankar Gowda Road, Mandya-571401, India

DOI:

https://doi.org/10.29121/granthaalayah.v13.i4.2025.6031

Keywords:

Block Chain, Behavioral Contracts, Formal-Model, Smart-Contract, Stratified Datalog, Vulnerability Detection

Abstract [English]

"Smart contracts" are software documented on block chains under specific circumstances that control the allocation of assets between individuals. In a smart healthcare supply chain, product traceability is a major issue. Two enabling technologies in the smart healthcare supply chain that ensure product traceability and safeguard against data manipulation are block chain and smart contracts. A smart contract workflow must be developed and carried out in a block-chain-based supply chain in accordance with the input data. This paper has an objective function to meet the entire system as a parallel composition of smart contracts and users this paper analyze the behavior of smart contracts and a core language of programs with an essential set primitive. The experimental results show that the proposed method can accurately detect security vulnerabilities and logic flaws in smart contracts through formal verification and other analysis techniques before smart contracts are deployed.

Downloads

Download data is not yet available.

References

Acquaviva, A. (2025). Smart Contracts for Certified and Sustainable Safety-Critical Continuous Monitoring Applications.

Alzahrani, R. A., Herko, S. J., & Easton, J. M. (2021). Blockchain-Hosted Data Access Agreements for Remote Condition Monitoring in Rail. The Journal of The British Blockchain Association. https://doi.org/10.31585/jbba-4-2-(3)2021 DOI: https://doi.org/10.31585/jbba-4-2-(3)2021

Ding, Y., Wang, C., Zhong, Q., Li, H., Tan, J., & Li, J. (2020). Function-Level Dynamic Monitoring and Analysis System for Smart Contract. IEEE Access, 8, 229161-229172. https://doi.org/10.1109/ACCESS.2020.3046005 DOI: https://doi.org/10.1109/ACCESS.2020.3046005

Elia, N., Barchi, F., Parisi, E., Pompianu, L., Carta, S., Bartolini, A., & Acquaviva, A. (2022, August). Smart Contracts for Certified and Sustainable Safety-Critical Continuous Monitoring Applications. In European Conference on Advances in Databases and Information Systems (pp. 377-391). Springer International Publishing. https://doi.org/10.1007/978-3-031-15740-0_27 DOI: https://doi.org/10.1007/978-3-031-15740-0_27

Fu, J., Liu, W., Zeng, C., & Huang, W. (2023, May). On the Detection Limitations of the Re-Entrancy Attacks on Ethereum. In International Conference on Computational & Experimental Engineering and Sciences (pp. 59-72). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-44947-5_5 DOI: https://doi.org/10.1007/978-3-031-44947-5_5

Hwang, S. J., Choi, S. H., Shin, J., & Choi, Y. H. (2022). CodeNet: Code-Targeted Convolutional Neural Network Architecture for Smart Contract Vulnerability Detection. IEEE Access, 10, 32595-32607. https://doi.org/10.1109/ACCESS.2022.3162065 DOI: https://doi.org/10.1109/ACCESS.2022.3162065

Laneve, C., Coen, C. S., & Veschetti, A. (2019). On the Prediction of Smart Contracts' Behaviors. In From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (pp. 397-415). Springer International Publishing. https://doi.org/10.1007/978-3-030-30985-5_23 DOI: https://doi.org/10.1007/978-3-030-30985-5_23

Liu, Z., Qian, P., Wang, X., Zhuang, Y., Qiu, L., & Wang, X. (2021). Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection. IEEE Transactions on Knowledge and Data Engineering, 35 (2), 1296-1310. https://doi.org/10.1109/TKDE.2021.3095196 DOI: https://doi.org/10.1109/TKDE.2021.3095196

Prajapati, A. K., Pilli, E. S., Battula, R. B., & Verma, A. (2023, October). A Defense Solution to Secure Low-Power and Lossy Networks Against Dao Insider Attacks. In TENCON 2023-2023 IEEE Region 10 Conference (TENCON) (pp. 261-266). IEEE. https://doi.org/10.1109/TENCON58879.2023.10322374 DOI: https://doi.org/10.1109/TENCON58879.2023.10322374

Rahman, M. S., Khalil, I., & Bouras, A. (2020). Formalizing Dynamic Behaviors of Smart Contract Workflow in Smart Healthcare Supply Chain. In Security and Privacy in Communication Networks: 16th EAI International Conference, SecureComm 2020, Washington, DC, USA, October 21-23, 2020, Proceedings, Part II (pp. 391-402). Springer International Publishing. https://doi.org/10.1007/978-3-030-63095-9_25 DOI: https://doi.org/10.1007/978-3-030-63095-9_25

Rahman, M. S., Khalil, I., & Bouras, A. (2021, January). A Framework for Modeling Blockchain-Based Supply Chain Management System to Ensure Soundness of Smart Contract Workflow. In HICSS (pp. 1-10). https://doi.org/10.24251/HICSS.2021.675 DOI: https://doi.org/10.24251/HICSS.2021.675

Tang, X., Du, Y., Lai, A., Zhang, Z., & Shi, L. (2023). Deep Learning-Based Solution for Smart Contract Vulnerabilities Detection. Scientific Reports, 13 (1), 20106. https://doi.org/10.1038/s41598-023-47219-0 DOI: https://doi.org/10.1038/s41598-023-47219-0

Xu, Y., Slaats, T., Düdder, B., Hildebrandt, T. T., & Van Cutsem, T. (2025). Safe Design and Evolution of Smart Contracts Using Dynamic Condition Response Graphs to Model Generic Role‐Based Behaviors. Journal of Software: Evolution and Process, 37 (1), e2730. https://doi.org/10.1002/smr.2730 DOI: https://doi.org/10.1002/smr.2730

Yashavant, C. S., Chavda, M., Kumar, S., Karkare, A., & Karmakar, A. (2024). SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset. Arxiv Preprint arXiv:2412.09935.