Hard Instances for Verification Problems in Access Control.

Nima Mousavi, Mahesh V. Tripunitara

Browse the full SACMAT paper archive.