A verification framework for access control in dynamic web applications (2009)

by Manar H Alalfi, James R Cordy, Thomas R Dean
Venue:In The Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering (C3S2E