Xiaowei Huang Li Jiao Weiming Lu What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. 334-349 2007 conf/icics/2007 ICICS http://dx.doi.org/10.1007/978-3-540-77048-0_26 db/conf/icics/icics2007.html#HuangJL07