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