Secure Conditional Information Flow Verifier