Vilihura, V.; Gorbenko, Y.; Yesin, V.; Rassomakhin, S. Використання формальних моделей безпеки в захищених базах даних. ФММІТ 2021, 70-74.