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