Tu, H., Xiang, D., Qi, L., & Liu, G. (2025). Modeling and Verification of Chinese Wall Policy Based on Petri Nets with Data. Computing and Informatics, 44(4), 915–932. https://doi.org/10.31577/cai_2025_4_915