Gregory Malecha, Stephen Chong. A more precise security type system for dynamic security tests. In Anindya Banerjee, Deepak Garg, editors, Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, PLAS 2010, Toronto, ON, Canada, 10 June, 2010. pages 4, ACM, 2010. [doi]
Abstract is missing.