Dataset and experimental results of the manuscript "Parametric RBAC Maintenance via Max-SAT" published to SACMAT Conference 2018.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool