Tu, H.; Xiang, D.; Qi, L.; Liu, G. Modeling and Verification of Chinese Wall Policy Based on Petri Nets With Data. Comput. Inform. 2025, 44.