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