Detecting and Debugging Insecure Information Flows

Wes Masri, Andy Podgurski, David Leon. Detecting and Debugging Insecure Information Flows. In 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France. pages 198-209, IEEE Computer Society, 2004. [doi]

Abstract

Abstract is missing.