Давиденко, А. М., 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.