TU, Hanqian; XIANG, Dongming; QI, Liang; LIU, Guanjun. Modeling and Verification of Chinese Wall Policy Based on Petri Nets with Data. Computing and Informatics, [S. l.], v. 44, n. 4, 2025. Disponível em: http://147.213.75.17/ojs/index.php/cai/article/view/7513. Acesso em: 3 nov. 2025.