![](/img/cover-not-exists.png)
Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies
Ben Attia, Hasiba, Kahloul, Laid, Benhazrallah, Saber, Bourekkache, SamirLanguage:
english
Journal:
International Journal of Information Security
DOI:
10.1007/s10207-019-00448-9
Date:
June, 2019
File:
PDF, 2.77 MB
english, 2019