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