Welcome to the resource topic for 2009/073
Title:
Automatic Approach of Provable Security and its Application for OAEP+
Authors: 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+.
ePrint: https://eprint.iacr.org/2009/073
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .