Zhenyue Deng Geoffrey Smith Lenient Array Operations for Practical Secure Information Flow. 115- 2004 conf/csfw/2004 CSFW http://doi.ieeecomputersociety.org/10.1109/CSFW.2004.13 db/conf/csfw/csfw2004.html#DengS04