Tu H, Xiang D, Qi L, Liu G. Modeling and Verification of Chinese Wall Policy Based on Petri Nets with Data. Comput. Inform. [Internet]. 2025 Oct. 27 [cited 2025 Dec. 22];44(4):915–932. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/2025_4_915