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