Geoffrey Smith A New Type System for Secure Information Flow. 115-125 2001 conf/csfw/2001 CSFW http://csdl.computer.org/comp/proceedings/csfw/2001/1146/00/11460115abs.htm db/conf/csfw/csfw2001.html#Smith01