Catherine Meadows A Procedure for Verifying Security Against Type Confusion Attacks. 62- 2003 conf/csfw/2003 CSFW http://csdl.computer.org/comp/proceedings/csfw/2003/1927/00/19270062abs.htm db/conf/csfw/csfw2003.html#Meadows03