Security Analysis of an Electronic Commerce Protocol Using Casper/FDR2

摘要：

　　Researchers have proposed several security protocols to protect the electronic commerce security in these years;however,not all of them are secure enough.This article extends model checking method with Casper/FDR2 to model and analyze a new electronic protocol.Attacks are found in the protocol and their mechanisms are discussed.A variety of solutions are given to different security flaws.The improved protocol is proven to be robust and secure.

关键词： Casper FDR2 electronic commerce model checking formal analysis

作者: CHANG Yinlong HU Huaping

作者单位: Department of Mathematics and Computer Science/Key Laboratory of Information Security of Network Sys School of Computer Science,National University of Defense Technology,Changsha 410073,Hunan,China

会议类型: 国内会议

会议名称: 第六届中国可信计算与信息安全学术会议

会议地点: 福州

会议语种:英文

页码: 499-503

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