Kevin R. O Neill, Michael R. Clarkson, Stephen Chong. Information-Flow Security for Interactive Programs. In 19th IEEE Computer Security Foundations Workshop, (CSFW-19 2006), 5-7 July 2006, Venice, Italy. pages 190-201, IEEE Computer Society, 2006. [doi]
Abstract is missing.