Dataset and experimental results of the manuscript "On the Use of Max-SAT in RBAC" submitted to Cybersecurity journal.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool