Quantifying information leakage in finite order deterministic programsJi ZhuMudhakar Srivatsa2011IEEE ICC 2011