Tu, H. et al. 2025. Modeling and Verification of Chinese Wall Policy Based on Petri Nets with Data. Computing and Informatics. 44, 4 (Oct. 2025), 915–932. DOI:https://doi.org/10.31577/cai_2025_4_915.