Vilihura , V. . “Analysis of Formal Models for Access Control and Specific Features of Their Applicability to Databases”. Radiotekhnika, vol. 2, no. 205, July 2021, pp. 53-70, doi:10.30837/rt.2021.2.205.05.