H. Tu, D. Xiang, L. Qi, and G. Liu, “Modeling and Verification of Chinese Wall Policy Based on Petri Nets with Data”, Comput. Inform., vol. 44, no. 4, Oct. 2025.