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).