International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Automatic Approach of Provable Security and its Application for OAEP+

Authors:
GU Chun-Xiang
Guang Yan
ZHU Yue-Fei
Download:
URL: http://eprint.iacr.org/2009/073
Search ePrint
Search Google
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+.
BibTeX
@misc{eprint-2009-18218,
  title={Automatic Approach of Provable Security and its Application for OAEP+},
  booktitle={IACR Eprint archive},
  keywords={public-key cryptography /},
  url={http://eprint.iacr.org/2009/073},
  note={ gcxiang5209@yahoo.com.cn 14288 received 12 Feb 2009},
  author={GU Chun-Xiang and Guang Yan and ZHU Yue-Fei},
  year=2009
}