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