Jun Zhu, Bill Chu, Heather Richter Lipford, Tyler Thomas. Mitigating Access Control Vulnerabilities through Interactive Static Analysis. In Edgar R. Weippl, Florian Kerschbaum, Adam J. Lee, editors, Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, Vienna, Austria, June 1-3, 2015. pages 199-209, ACM, 2015. [doi]
Abstract is missing.