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). Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/7513