KIM, Il Gon; KANG, Miyoung; CHOI, Jin Young; ZEGZHDA, Peter D.; KALININ, Maxim O.; ZEGZHDA, Dmitry P.; KANG, Inhye. Formal Verification of Security Model Using SPR Tool. COMPUTING AND INFORMATICS, [S. l.], v. 25, n. 5, p. 353–368, 2012. Disponível em: https://www.cai.sk/ojs/index.php/cai/article/view/348. Acesso em: 5 may. 2024.