You are looking at a specific version 20090216:081934 of this paper.
See the latest version.
Paper 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+.
Metadata
- Available format(s)
- 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
-
CC BY