@misc{cryptoeprint:2009:073, author = {GU Chun-Xiang, Guang Yan, ZHU Yue-Fei}, title = {Automatic Approach of Provable Security and its Application for OAEP+}, howpublished = {Cryptology ePrint Archive, Report 2009/073}, year = {2009}, url = {http://eprint.iacr.org/2009/073}, }