DocumentCode
498446
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
Volume
1
fYear
2009
fDate
22-24 May 2009
Firstpage
35
Lastpage
39
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electronic Commerce and Security, 2009. ISECS '09. Second International Symposium on
Conference_Location
Nanchang
Print_ISBN
978-0-7695-3643-9
Type
conf
DOI
10.1109/ISECS.2009.45
Filename
5209700
Link To Document