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