On the Automated Analysis of Safety in Usage Control: A New Decidability Result.

Silvio Ranise, Alessandro Armando

Browse the full NSS paper archive.