bancaditalia / sacmat2018 Goto Github PK
View Code? Open in Web Editor NEWDataset and experimental results of the manuscript "Parametric RBAC Maintenance via Max-SAT" published to SACMAT Conference 2018.
License: Creative Commons Attribution 4.0 International