DocumentCode
534246
Title
Formal Analysis of Mobile Payment Protocol KSL Based on SSM
Author
You, Ziyi ; Xie, Xiaoyao ; Xu, Yang
Volume
1
fYear
2010
fDate
16-18 July 2010
Firstpage
333
Lastpage
336
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/IFITA.2010.194
Filename
5635052
Link To Document