@article{Vilihura_Gorbenko_Yesin_Rassomakhin_2021, title={Використання формальних моделей безпеки в захищених базах даних}, url={http://fmmit.lviv.ua/index.php/fmmit/article/view/162}, DOI={10.15407/fmmit2021.32.070}, number={32}, journal={ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ}, author={Vilihura, Vladislav and Gorbenko, Yuriy and Yesin, Vitaliy and Rassomakhin, Serhiy}, year={2021}, month={Лип}, pages={70-74}