A secure and optimized mobile payment framework with formal verification
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
1 - 1 of 1