{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T16:14:07Z","timestamp":1781108047716,"version":"3.54.1"},"reference-count":13,"publisher":"IGI Global Scientific Publishing","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4,1]]},"abstract":"<p>This paper proposes a Secure Mobile Wallet Framework (SMWF) using WPKI (Wireless Public Key Infrastructure) and UICC (Universal Integrated Circuit Card) by defining (a) a procedure of personalizing UICC by the client, (b) a procedure of provisioning and personalization (Mutual Authentication and Key Agreement Protocol) of Mobile Payments Application (which is on UICC) by the Bank and (c) our proposed mobile wallet is will have mobile wallet manager managed by CA (acting as TSM), every mobile application is independent, protected by firewalls and encrypted data is stored in the mobile wallet application. Their proposed Mobile Wallet ensures end to end security. The authors\u2019 proposed SMWF is compared with recent works and found to be better in terms of generating client\u2019s credentials, implementation of WPKI in UICC, personalization of mobile payment application by the bank and in ensuring end to end security (i.e., from Mobile Payments Application in UICC to the Bank Server). The proposed mobile payment protocol originating from Mobile Payment Application (which is on UICC) to the Bank Server realizes Fair Exchange ensures Confidentiality, Authentication, Integrity and Non Repudiation, prevents double spending, over spending and money laundering, and withstands replay, Man in the Middle (MITM) and Impersonation attacks. Proposed mobile payment protocol is formally verified using AVISPA and Scyther Tool and presented with results.<\/p>","DOI":"10.4018\/japuc.2012040101","type":"journal-article","created":{"date-parts":[[2012,9,21]],"date-time":"2012-09-21T13:07:52Z","timestamp":1348232872000},"page":"1-15","source":"Crossref","is-referenced-by-count":3,"title":["A Secure Mobile Wallet Framework with Formal Verification"],"prefix":"10.4018","volume":"4","author":[{"given":"Shaik Shakeel","family":"Ahamad","sequence":"first","affiliation":[{"name":"Department of Computer and Information Sciences, University of Hyderabad, Hyderabad, India & Institute for Development and Research in Banking Technology, Castle Hills, Masab Tank, Hyderabad, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"V. N.","family":"Sastry","sequence":"additional","affiliation":[{"name":"Institute for Development and Research in Banking Technology, Castle Hills, Masab Tank, Hyderabad, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Siba K.","family":"Udgata","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Sciences, University of Hyderabad, Hyderabad, India"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"japuc.2012040101-0","article-title":"Secure mobile payment framework based on UICC with formal verification.","author":"S. S.Ahamad","journal-title":"International Journal of Computational Science and Engineering."},{"key":"japuc.2012040101-1","doi-asserted-by":"crossref","unstructured":"Armando, A., Basin, D., Boichut, Y., Chevalier, Y., Compagna, L., & Cuellar, J. \u2026Vigneron, L. (2005). The AVISPA tool for the automated validation of internet security protocols and applications. In K. Etessami & S. K. Rajamani (Eds.), Proceedings of the 17th International Conference on Computer Aided Verification (LNCS 3576, pp. 281-285).","DOI":"10.1007\/11513988_27"},{"key":"japuc.2012040101-2","unstructured":"Block, R. (2011). First release of Google Wallet with MasterCard now available for Sprint Nexus S 4G customers. Retrieved from http:\/\/pymnts.com\/news\/businesswire-feed\/2011\/september\/19\/First-Release-of-Google-Wallet-with-MasterCard-Now-Available-for-Sprint-Nexus-S-4G-customers"},{"key":"japuc.2012040101-3","unstructured":"Cremers, C., & Lafourcade, P. (2009). Comparing state spaces in automatic security protocol verification. In Proceedings of the 7th International Workshop on Automated Verification of Critical Systems (pp. 49-63)."},{"key":"japuc.2012040101-4","unstructured":"Cremers, C. J. F. (2006). Scyther-semantics and verification of security protocols (Unpublished doctoral dissertation). Eindhoven University of Technology, Eindhoven, The Netherlands."},{"key":"japuc.2012040101-5","unstructured":"Google Wallet. (2011). Launch partners. Retrieved from http:\/\/www.google.com\/wallet\/current-partners.html"},{"key":"japuc.2012040101-6","doi-asserted-by":"crossref","unstructured":"Kungpisdan, S., Srinivasan, B., & Le, P. D. (2003). Lightweight mobile credit-card payment protocol. In T. Johansson & S. Maitra (Eds.), Proceedings of the 4th International Conference on Progress in Cryptology (LNCS 2904, pp. 295-308).","DOI":"10.1007\/978-3-540-24582-7_22"},{"key":"japuc.2012040101-7","unstructured":"Labrou, Y., Agre, J., Ji, L., Molina, J., & Chen, W. (2004). Wireless wallet. In Proceedings of the 1st Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services."},{"key":"japuc.2012040101-8","doi-asserted-by":"crossref","unstructured":"Muhammad, S., Furqan, Z., & Guha, R. K. (2006). Understanding the intruder through attacks on cryptographic protocols. In Proceedings of the 44th ACM Southeast Conference (pp. 667-672).","DOI":"10.1145\/1185448.1185594"},{"key":"japuc.2012040101-9","unstructured":"NTT DoCoMo. (2012). \u201cOsaifu-Keitai\u201d (mobile phones with wallet functions) service. Retrieved from http:\/\/www.nttdocomo.com\/services\/osaifu\/index.html"},{"key":"japuc.2012040101-10","doi-asserted-by":"crossref","unstructured":"Steffens, E.-J., Nennker, A., Ren, Z., Yin, M., & Schneider, L. (2009). The SIM based mobile wallet. In Proceedings of the 13th International Conference on Intelligence in Next Generation Networks (pp. 1-6).","DOI":"10.1109\/ICIN.2009.5357095"},{"key":"japuc.2012040101-11","author":"D. R.Stinson","year":"2006","journal-title":"Cryptography-theory and practice"},{"issue":"3","key":"japuc.2012040101-12","first-page":"113","article-title":"Design and implementation of a mobile transactions client system: Secure UICC mobile wallet.","volume":"1","author":"H.Zhao","year":"2011","journal-title":"International Journal for Information Security Research"}],"container-title":["International Journal of Advanced Pervasive and Ubiquitous Computing"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=71881","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T10:29:56Z","timestamp":1654079396000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/japuc.2012040101"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2012,4,1]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,4]]}},"URL":"https:\/\/doi.org\/10.4018\/japuc.2012040101","relation":{},"ISSN":["1937-965X","1937-9668"],"issn-type":[{"value":"1937-965X","type":"print"},{"value":"1937-9668","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,4,1]]}}}