A secure and optimized mobile payment framework with formal verification

dc.contributor.author Ahamad, Shaik Shakeel
dc.contributor.author Sastry, V. N.
dc.contributor.author Udgata, Siba K.
dc.date.accessioned 2022-03-27T05:50:37Z
dc.date.available 2022-03-27T05:50:37Z
dc.date.issued 2012-12-01
dc.description.abstract In this paper we propose a Secure and Optimized Mobile Payment Framework based on Universal Integrated Circuit Card (UICC) (a) which summarizes a mobile payment in relation to several different participants, (b) a procedure of personalizing UICC by the client c) a procedure of provisioning and personalization (Mutual Authentication, Key Agreement Protocol & a procedure for ensuring non repudiation without adopting WPKI) of Mobile Payments Application (which is on UICC) by the Bank d) a mobile payment protocol is proposed between the personalized Mobile Payment Application on UICC and the Bank Server which ensures all the security properties. All the proposed protocols have been successfully verified using AVISPA and Scyther Tools. Copyright 2012 ACM.
dc.identifier.citation ACM International Conference Proceeding Series
dc.identifier.uri 10.1145/2490428.2490432
dc.identifier.uri http://dl.acm.org/citation.cfm?doid=2490428.2490432
dc.identifier.uri https://dspace.uohyd.ac.in/handle/1/8184
dc.subject Key agreement
dc.subject Mobile payment
dc.subject Mutual authentication
dc.subject Personalization
dc.subject Scyther tool
dc.subject UICC
dc.title A secure and optimized mobile payment framework with formal verification
dc.type Conference Proceeding. Conference Paper
dspace.entity.type
Files
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Plain Text
Description: