Security Analysis of an Electronic Commerce Protocol Using Casper/FDR2

作     者：CHANG Yinlong HU Huaping CHANG Yinlong;HU Huaping

作者机构：Department of Mathematics and Computer Science/Key Laboratory of Information Security of Network SystemFuzhou UniversityFuzhou 350108FujianChina School of Computer ScienceNational University of Defense TechnologyChangsha 410073HunanChina 

出 版 物：《Wuhan University Journal of Natural Sciences》 (武汉大学学报（自然科学英文版）)

年 卷 期：2012年第17卷第6期

页      面：499-503页

学科分类：08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：Casper FDR2 electronic commerce model checking formal analysis 

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