|
|||||
|
|
Security analysis of an electronic commerce protocol using casper/FDR2 |
|
| Authors: | Yinlong Chang Huaping Hu |
| Affiliation: | 1. Department of Mathematics and Computer Science/Key Laboratory of Information Security of Network System, Fuzhou University, Fuzhou, 350108, Fujian, China 2. School of Computer Science, National University of Defense Technology, Changsha, 410073, Hunan, China |
| Abstract: | 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. |
| Keywords: | Casper FDR2 electronic commerce model checking formal analysis |
| 本文献已被 CNKI SpringerLink 等数据库收录！ | |