Vilihura , V.V. “Analysis of Formal Models for Access Control and Specific Features of Their Applicability to Databases”. Radiotekhnika 2, no. 205 (July 2, 2021): 53–70. Accessed January 30, 2026. http://rt.nure.ua/article/view/239517.