Vilihura , V. . Analysis of Formal Models for Access Control and Specific Features of Their Applicability to Databases. RT 2021, 2, 53-70.