Yu, Wangyang and Feng, Jie and Liu, Lu and Zhai, Xiaojun and Cheng, Yumeng (2024) Enhancing security in e-business processes: Utilizing dynamic slicing of Colored Petri Nets for logical vulnerability detection. Future Generation Computer Systems, 158. pp. 210-218. DOI https://doi.org/10.1016/j.future.2024.04.035
Yu, Wangyang and Feng, Jie and Liu, Lu and Zhai, Xiaojun and Cheng, Yumeng (2024) Enhancing security in e-business processes: Utilizing dynamic slicing of Colored Petri Nets for logical vulnerability detection. Future Generation Computer Systems, 158. pp. 210-218. DOI https://doi.org/10.1016/j.future.2024.04.035
Yu, Wangyang and Feng, Jie and Liu, Lu and Zhai, Xiaojun and Cheng, Yumeng (2024) Enhancing security in e-business processes: Utilizing dynamic slicing of Colored Petri Nets for logical vulnerability detection. Future Generation Computer Systems, 158. pp. 210-218. DOI https://doi.org/10.1016/j.future.2024.04.035
Abstract
The field of e-business covers multiple aspects and has undergone rapid development, profoundly changing our transaction methods and shopping experiences. However, with the increasing complexity of its business processes, logical vulnerabilities have become an inevitable issue. These logical vulnerabilities can lead to a range of security problems, seriously threatening business stability and consumer trust. To address the challenge of logical vulnerabilities in e-business, we developed a model based on Colored Petri Nets (CPN), the Interactive Business Process Fusion (IBPF) net, which is adept at identifying such vulnerabilities during the design phase. However, the analysis methods for IBPF net still urgently need innovation. In addressing this issue, we use dynamic slicing techniques to analyze IBPF net, serving as a method for revealing logical vulnerabilities. We obtain backward slice, partial forward slice, and bidirectional slice through the slicing algorithms. Eventually, these three types of slices are merged to form the final dynamic slice. This technique, which involves a more targeted analysis than examining the entire IBPF net, simplifies analysis process and prevents state space explosion, thereby providing a distinct advantage. The results of this research are of great value in enhancing system reliability, reducing maintenance costs, and providing analysis techniques in the field of e-business security.
Item Type: | Article |
---|---|
Uncontrolled Keywords: | E-business security; Logic vulnerability; Colored Petri Nets; Dynamic slicing |
Divisions: | Faculty of Science and Health Faculty of Science and Health > Computer Science and Electronic Engineering, School of |
SWORD Depositor: | Unnamed user with email elements@essex.ac.uk |
Depositing User: | Unnamed user with email elements@essex.ac.uk |
Date Deposited: | 19 Jun 2024 09:04 |
Last Modified: | 07 Aug 2024 17:58 |
URI: | http://repository.essex.ac.uk/id/eprint/38272 |
Available files
Filename: IBPF-SLICE-4.27.pdf
Licence: Creative Commons: Attribution-Noncommercial-No Derivative Works 4.0
Embargo Date: 18 April 2025