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 Oct. 29];44(4). Available from: https://www.cai.sk/ojs/index.php/cai/article/view/7513