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 April 12, 2025. http://rt.nure.ua/article/view/239517.