Давиденко, А. М. and Суліма, О. А. (2016) “Use of formal facilities of description of processes of grant of rights access”, Ukrainian Information Security Research Journal, 18(2), pp. 143–149. doi: 10.18372/2410-7840.18.10593.