A Verification Framework for Access Control in Dynamic Web Applications (2009)

by M H Alalfi, J R Cordy, T R Dean
Venue:In Canadian Conf. on Computer Science and Software Eng