Tu, H. (2025) “Modeling and Verification of Chinese Wall Policy Based on Petri Nets with Data”, Computing and Informatics, 44(4), pp. 915–932. doi: 10.31577/cai_2025_4_915.