Automatic Approach of Provable Security and its Application for OAEP+

摘要：

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+.

关键词： cryptographic protocols probable security automatic process calculus

作者: GU Chun-Xiang Guang Yan CHEN Nan ZHU Yue-Fei

作者单位: Department of Network Engineering, Information Engineering College, Information Engineering University, Zhengzhou, China

会议类型: 国际会议

会议名称: Second International Symposium on Electronic Commerce and Security(第二届电子商务与安全国际研究大会)(ISECS 2009)

会议地点: 南昌

会议语种:英文

页码: 35-39

在线出版日期: 2009-05-22（万方平台首次上网日期，不代表论文的发表时间）