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: https://www.cai.sk/ojs/index.php/cai/article/view/7513. Acesso em: 29 oct. 2025.