Scalable and precise automated analysis of administrative temporal role-based access control.

Silvio Ranise, Anh Tuan Truong, Alessandro Armando

Browse the full SACMAT paper archive.