Chunming Tang Dingyi Pei Zheng-an Yao 5-Round Computational Zero-Knowledge Proof with Negligible Error Probability for Any NP from Any One-Way Permutation. 407-411 2008 ISECS http://doi.ieeecomputersociety.org/10.1109/ISECS.2008.88 conf/isecs/2008 db/conf/isecs/isecs2008.html#TangPY08