Tu, Hanqian, et al. “Modeling and Verification of Chinese Wall Policy Based on Petri Nets With Data”. Computing and Informatics, vol. 44, no. 4, Oct. 2025, pp. 915–932, doi:10.31577/cai_2025_4_915.