Enhancing security in e-business processes: Utilizing dynamic slicing of Colored Petri Nets for logical vulnerability detection
| Autor: | Yu, Wangyang, Feng, Jie, Liu, Lu, Zhai, Xiaojun, Cheng, Yumeng |
|---|---|
| Zdroj: | In Future Generation Computer Systems September 2024 158:210-218 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect