Cryptology ePrint Archive: Report 2009/073

Automatic Approach of Provable Security and its Application for OAEP+

GU Chun-Xiang, Guang Yan, ZHU Yue-Fei

Abstract: Probable security is an important criteria for analyzing the security of cryptographic protocols. However, writing and verifying proofs by hand are prone to errors. This paper introduces the game-based approach of writing security proofs and its automatic technique. It advocates the automatic security proof approach based on process calculus, and presents the initial game and observational equivalences of OAEP+.

Category / Keywords: public-key cryptography /

Date: received 12 Feb 2009

Contact author: gcxiang5209 at yahoo com cn

Available format(s): PDF | BibTeX Citation

Version: 20090216:081934 (All versions of this report)

Short URL: ia.cr/2009/073

Discussion forum: Show discussion | Start new discussion