VILIHURA, V.; GORBENKO, Y.; YESIN, V.; RASSOMAKHIN, S. Використання формальних моделей безпеки в захищених базах даних. ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, n. 32, p. 70-74, 7 jul. 2021.