Vilihura, V., Gorbenko, Y., Yesin, V. і Rassomakhin, S. 2021. Використання формальних моделей безпеки в захищених базах даних: Fìz.-mat. model. ìnf. tehnol. 2021, 32:70-74. ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ. 32 (Лип 2021), 70–74. DOI:https://doi.org/10.15407/fmmit2021.32.070.