Verification of e-commerce payment protocol authentication properties based on SVO logic
XIAO Yinyin1,2, SU Kaile2,3
1.School of Computer Science, Guangdong Polytechnic Normal University, Guangzhou 510665, China
2.Guangdong Key Lab of Information Security Technology, School of Information Science and Technology, Sun Yat-sen University, Guangzhou 510275, China
3.Key Lab of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
XIAO Yinyin1,2, SU Kaile2,3. Verification of e-commerce payment protocol authentication properties based on SVO logic[J]. Computer Engineering and Applications, 2014, 50(8): 6-10.