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 Nov. 3];44(4). Available from: http://147.213.75.17/ojs/index.php/cai/article/view/7513