Vilihura, Vladislav, Yuriy Gorbenko, Vitaliy Yesin, і Serhiy Rassomakhin. Використання формальних моделей безпеки в захищених базах даних. ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, no. 32 (Липень 7, 2021): 70-74. Accessed Травень 2, 2024. http://www.fmmit.lviv.ua/index.php/fmmit/article/view/162.