Tu, Hanqian, et al. “Modeling and Verification of Chinese Wall Policy Based on Petri Nets With Data”. Computing and Informatics, vol. 44, no. 4, Oct. 2025, http://147.213.75.17/ojs/index.php/cai/article/view/7513.