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