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