A secure and optimized mobile payment framework with formal verification

• DOI: 10.1145/2490428.2490432
• Publication Date: 2013-06-05T12:10:07Z
• Authors: Shaik Shakeel Ahamad; V. N. Sastry; Siba K. Udgata
• Keywords: Mobile Payment; Mutual authentication; Provisioning

In this paper we propose a Secure and Optimized Mobile Payment Framework based on Universal Integrated Circuit Card (UICC) (a) which summarizes mobile payment in relation to several different participants, (b) procedure of personalizing UICC by the client c) provisioning personalization (Mutual Authentication, Key Agreement Protocol & for ensuring non repudiation without adopting WPKI) Payments Application (which is UICC) Bank d) protocol proposed between personalized Server ensures all security properties. All protocols have been successfully verified using AVISPA Scyther Tools.