V. . Vilihura, “Analysis of formal models for access control and specific features of their applicability to databases”, RT, vol. 2, no. 205, pp. 53–70, Jul. 2021.