Давиденко, Анатолій Миколайович, and Олександр Андрійович Суліма. “Use of Formal Facilities of Description of Processes of Grant of Rights Access”. Ukrainian Information Security Research Journal, vol. 18, no. 2, May 2016, pp. 143-9, doi:10.18372/2410-7840.18.10593.