Title :
Formal Analysis of Mobile Payment Protocol KSL Based on SSM
Author :
You, Ziyi ; Xie, Xiaoyao ; Xu, Yang
Abstract :
The mobile e-commerce protocols often have more complex structures than authentication protocols. Strand space model (SSM) is an intutive, highly efficient formal analysis method. In this paper, the strand space model is described and expanded, and the confidentiality, authentication and fairness of KSL protocol are analyzed by strand space formal methods. The analysis shows KSL is unfair and an improvement is given. By analyzed again, the improved KSL is valid.
Keywords :
electronic commerce; mobile computing; protocols; KSL protocol; SSM based KSL; authentication protocol; complex structure; formal analysis; mobile e-commerce protocol; mobile payment protocol; strand space model; Analytical models; Authentication; Computer science; Electronic commerce; Mobile communication; Protocols; KSL; expansoin; formal analysis; mobile e-commerce protocol; strand space;
Conference_Titel :
Information Technology and Applications (IFITA), 2010 International Forum on
Conference_Location :
Kunming
Print_ISBN :
978-1-4244-7621-3
Electronic_ISBN :
978-1-4244-7622-0
DOI :
10.1109/IFITA.2010.194
