Manar H. Alalfi, James R. Cordy, Thomas R. Dean. A verification framework for access control in dynamic web applications. In Bipin C. Desai, Carson Kai-Sang Leung, Olga Ormandjieva, editors, Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings. ACM International Conference Proceeding Series, pages 109-113, ACM, 2009. [doi]
Abstract is missing.