Tian Zhao John Tang Boyland Type Annotations to Improve Stack-Based Access Control. 197-210 2005 conf/csfw/2005 CSFW http://dx.doi.org/10.1109/CSFW.2005.27 db/conf/csfw/csfw2005.html#ZhaoB05