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.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
