AQUA: An Efficient Solver for the User Authorization Query Problem.

Alessandro Armando, Giorgia A. Gazzarata, Fatih Turkmen

Browse the full SACMAT paper archive.