Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi. Data Flow Analysis of Secure Information-Flow. In The Third Asian Workshop on Programming Languages and Systems, APLAS 02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings. pages 352-365, 2002.
Abstract is missing.