Jianjun Shen, Sihan Qing. A dynamic information flow model of secure systems. In Feng Bao, Steven Miller, editors, Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2007, Singapore, March 20-22, 2007. pages 341-343, ACM, 2007. [doi]
Abstract is missing.