|
|
Researches on Automatic Approach of Provable Security |
Gu Chun-xiang; Zhu Yue-fei; Guang Yan |
Information Engineering College, Information Engineering University, PLA, Zhengzhou 450002, China |
|
|
Abstract Probable security is an important criteria for analyzing the security of cryptographic protocols. However, writing and verifying proofs with 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, makes researches on the automatic security proof of OAEP+, and presents it’s initial game and observational equivalences for the first time.
|
Received: 14 November 2008
|
|
|
|
|
|
|
|