Vilihura V, Gorbenko Y, Yesin V, Rassomakhin S. Використання формальних моделей безпеки в захищених базах даних. ФММІТ [інтернет]. 7Лип2021 [cited 23Лис2024];(32):70-4. Available from: http://fmmit.lviv.ua/index.php/fmmit/article/view/162