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: http://147.213.75.17/ojs/index.php/cai/article/view/348. Acesso em: 23 nov. 2024.