Використання формальних моделей безпеки в захищених базах даних - Vilihura, Vladislav; Gorbenko, Yuriy; Yesin, Vitaliy; Rassomakhin, Serhiy (ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, 2021)