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