Enhancing security in e-business processes: Utilizing dynamic slicing of Colored Petri Nets for logical vulnerability detection

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.