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, p. 915–932, 2025. DOI: 10.31577/cai_2025_4_915. Disponível em: https://www.cai.sk/ojs/index.php/cai/article/view/2025_4_915. Acesso em: 25 dec. 2025.