Joseph Y. Halpern Rafael Pass Vasumathi Raman An epistemic characterization of zero knowledge. 156-165 2009 TARK http://doi.acm.org/10.1145/1562814.1562837 conf/tark/2009 db/conf/tark/tark2009.html#HalpernPR09