Skip to content

Parametric RBAC Maintenance via Max-SAT.

Marco Benedetti, Marco Mori

VenueCSACMAT
Year2018
ProceedingsSACMAT

Browse the full SACMAT paper archive.