Adam J. Chlipala. Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications. In Remzi H. Arpaci-Dusseau, Brad Chen, editors, 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010, October 4-6, 2010, Vancouver, BC, Canada, Proceedings. pages 105-118, USENIX Association, 2010. [doi]
Abstract is missing.