Vilihura, V., Y. Gorbenko, V. Yesin, і S. Rassomakhin. Використання формальних моделей безпеки в захищених базах даних. ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, no 32, July 2021, pp 70-74, doi:10.15407/fmmit2021.32.070.