Improving application security with data flow assertions (0)

by A Yip, X Wang
Venue:in Proc. 2009 ACM SOSP