Title :
Automatic Approach of Provable Security and its Application for OAEP+
Author :
Chun-Xiang, Gu ; Yan, Guang ; Nan, Chen ; Yue-Fei, Zhu
Author_Institution :
Dept. of Network Eng., Inf. Eng. Univ., Zhengzhou, China
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+.
Keywords :
cryptographic protocols; game theory; OAEP+; cryptographic protocol security; game-based approach; Calculus; Cryptographic protocols; Cryptography; Educational institutions; Electronic commerce; Humans; Information analysis; Information security; Upper bound; Writing; automatic; cryptographic protocols; probable security; process calculus;
Conference_Titel :
Electronic Commerce and Security, 2009. ISECS '09. Second International Symposium on
Conference_Location :
Nanchang
Print_ISBN :
978-0-7695-3643-9
DOI :
10.1109/ISECS.2009.45
