Return to Article Details Static Analysis of Information Release in Interactive Programs Download Download PDF