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