VILIHURA, V.; GORBENKO, Y.; YESIN, V.; RASSOMAKHIN, S. Використання формальних моделей безпеки в захищених базах даних: Fìz.-mat. model. ìnf. tehnol. 2021, 32:70-74. ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, [S. l.], n. 32, p. 70–74, 2021. DOI: 10.15407/fmmit2021.32.070. Disponível em: https://www.fmmit.lviv.ua/index.php/fmmit/article/view/162. Acesso em: 9 чер. 2026.