Paper 2009/073

Automatic Approach of Provable Security and its Application for OAEP+

GU Chun-Xiang, Guang Yan, and 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+.

Metadata
Available format(s)
PDF
Category
Public-key cryptography
Publication info
Published elsewhere. Unknown where it was published
Contact author(s)
gcxiang5209 @ yahoo com cn
History
2009-02-16: received
Short URL
https://ia.cr/2009/073
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2009/073,
      author = {GU Chun-Xiang and Guang Yan and ZHU Yue-Fei},
      title = {Automatic Approach of Provable Security and its Application for OAEP+},
      howpublished = {Cryptology ePrint Archive, Paper 2009/073},
      year = {2009},
      note = {\url{https://eprint.iacr.org/2009/073}},
      url = {https://eprint.iacr.org/2009/073}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.