{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:56:50Z","timestamp":1781107010108,"version":"3.54.1"},"reference-count":29,"publisher":"IGI Global Scientific Publishing","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,1,1]]},"abstract":"<p>In this paper the authors propose a Secure and Optimized Proximity Mobile Payment (SOPMP) Framework using NFC (Near Field Communication) technology, WPKI (Wireless Public Key Infrastructure), UICC (Universal Integrated Circuit Card). The novelty of this proposed mobile payment framework is messages are exchanged in the form of Digital Signature with Message Recovery (DSMR) and merchant sends Invoice in the form of Digital Invoice Certificate (DIC) (which is digitally signed by the merchant). The communication link between mobile phone and merchant POS (Point Of Sale) is NFC. Digital Signature with Message Recovery based on ECDSA eliminates the need of adopting PKI cryptosystems thereby reducing the consumption of resources i.e. it consumes less computational and communication cost. DSMR eliminates the need of certificates validation and removes the hurdle of PKI thereby reducing storage space, communication cost and computational cost. The authors proposed protocol ensures Authentication, Integrity, Confidentiality and Non Repudiation, achieves Identity protection from merchant and Eavesdropper, achieves Transaction privacy from Eavesdropper and Payment Gateway, achieves Payment Secrecy, Order Secrecy, forward secrecy, and prevents Double Spending, Overspending and Money laundering. In addition to these our proposed protocol withstands Replay, Man in the Middle and Impersonation attacks. The security properties of the proposed protocol have been verified using AVISPA and Scyther Tools and presented with results.<\/p>","DOI":"10.4018\/ijesma.2014010104","type":"journal-article","created":{"date-parts":[[2014,7,24]],"date-time":"2014-07-24T13:51:50Z","timestamp":1406209910000},"page":"66-92","source":"Crossref","is-referenced-by-count":2,"title":["A Secure and Optimized Proximity Mobile Payment Framework with Formal Verification"],"prefix":"10.4018","volume":"6","author":[{"given":"Shaik Shakeel","family":"Ahamad","sequence":"first","affiliation":[{"name":"KL University, Vaddeswaram, Guntur, Andhra Pradesh, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"V.N.","family":"Sastry","sequence":"additional","affiliation":[{"name":"Institute for Development and Research in Banking Technology (IDRBT), Telangana, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Siba K.","family":"Udgata","sequence":"additional","affiliation":[{"name":"School of Computer and Information Sciences, University of Hyderabad, Telangana, India"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"ijesma.2014010104-0","doi-asserted-by":"publisher","DOI":"10.1504\/IJITST.2012.045153"},{"issue":"2","key":"ijesma.2014010104-1","article-title":"Near field communication (NFC).","volume":"12","author":"H. A.Al-Ofeishat","year":"2012","journal-title":"International Journal of Computer Science and Network Security"},{"key":"ijesma.2014010104-2","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/11513988_27","article-title":"The AVISPA tool for the automated validation of internet security protocols and applications. In Proceedings of Computer Aided Verification\u201905 (CAV)","volume":"Vol. 3576","author":"A.Armando","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"ijesma.2014010104-3","doi-asserted-by":"publisher","DOI":"10.1080\/01969720903584241"},{"key":"ijesma.2014010104-4","doi-asserted-by":"crossref","unstructured":"Chen, W., Hancke, G., Mayes, K., Lien, Y., & Chiu, J. (2010). Using 3G network components to enable NFC mobile transactions and authentication. In Proceedings of IEEE International Conference on Progress in Informatics and Computing (PIC) (pp. 441 -448).","DOI":"10.1109\/PIC.2010.5687587"},{"key":"ijesma.2014010104-5","doi-asserted-by":"crossref","unstructured":"Chen, W., Lien, Y., Mayes, K., Hancke, G., & Chiu, J.-H. (2010). NFC mobile transaction and authentication based on GSM network. In Proceedings of 2nd International Workshop on Near Field Communication (NFC 2010). IEEE Society Press.","DOI":"10.1109\/NFC.2010.15"},{"key":"ijesma.2014010104-6","doi-asserted-by":"publisher","DOI":"10.1587\/transcom.E92.B.310"},{"key":"ijesma.2014010104-7","doi-asserted-by":"publisher","DOI":"10.1002\/9781119965794"},{"key":"ijesma.2014010104-8","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 (AVoCS\u201907) (pp. 49\u201363)."},{"key":"ijesma.2014010104-9","unstructured":"Cremers, C. J. F. (2006). Scyther-semantics and verification of security protocols. Ph.D. Thesis, Eindhoven University of Technology."},{"key":"ijesma.2014010104-10","unstructured":"Fun, T. S., Beng, L. Y., Likoh, J., & Roslan, R. (2008). A lightweight and private mobile payment protocol by using mobile network operator. In Proceedings of International Conference on Computer and Communication Engineering (ICCCE 2008) (pp. 162\u2013166)."},{"key":"ijesma.2014010104-11","doi-asserted-by":"crossref","unstructured":"Halevi, T., Ma, D., Saxena, N., & Xiang, T. (2011). Secure proximity detection for NFC devices based on ambient sensor data. In Proceedings of the European Symposium on Research in Computer Security (ESORICS) (Vol. 7459, pp. 379-396).","DOI":"10.1007\/978-3-642-33167-1_22"},{"key":"ijesma.2014010104-12","doi-asserted-by":"crossref","unstructured":"Husni, E., Kuspriyanto, & Basjaruddin, N. (2011). Mobile payment protocol for tag-to-tag near field communication (NFC). IJIM, 34-38.","DOI":"10.3991\/ijim.v6i4.2166"},{"key":"ijesma.2014010104-13","author":"M.Jovanovic","year":"2011","journal-title":"Analysis of the latest trends in mobile commerce using NFC technology. Journal of Selected Areas in Telecommunications"},{"key":"ijesma.2014010104-14","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2009.2021243"},{"key":"ijesma.2014010104-15","doi-asserted-by":"crossref","unstructured":"Massoth, M., & Bingel, T. (2009). Performance of different mobile payment service concepts compared with a NFC-based solution. In Proceedings of 4th International Conference on Internet and Web Applications and Services (ICIW \u201909) (pp. 205\u2013210).","DOI":"10.1109\/ICIW.2009.112"},{"key":"ijesma.2014010104-16","doi-asserted-by":"crossref","unstructured":"Me, G., & Strangio, M. A. (2005). EC-PAY: An efficient and secure ECC-based wireless local payment scheme. In Proceedings of the Third International Conference on Information Technology and Applications (ICITA\u201905) (pp. 442\u2013447).","DOI":"10.1109\/ICITA.2005.122"},{"key":"ijesma.2014010104-17","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2007.64"},{"key":"ijesma.2014010104-18","unstructured":"Miraz, G. M., Ruiz, I. L., & G\u00f3mez-Nieto, M. \u00c1. (2009). University of things: Applications of near field communication technology in university environments. The Journal of e-Working, 3(1), 52-64."},{"key":"ijesma.2014010104-19","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 (ACMSE2006) (pp. 667\u2013672).","DOI":"10.1145\/1185448.1185594"},{"key":"ijesma.2014010104-20","doi-asserted-by":"publisher","DOI":"10.1504\/IJITST.2007.014834"},{"key":"ijesma.2014010104-21","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2005.05.003"},{"key":"ijesma.2014010104-22","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijpe.2007.05.004"},{"key":"ijesma.2014010104-23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17878-8_42"},{"key":"ijesma.2014010104-24","doi-asserted-by":"publisher","DOI":"10.1007\/s10257-008-0093-1"},{"key":"ijesma.2014010104-25","doi-asserted-by":"publisher","DOI":"10.4018\/jdm.2001070101"},{"key":"ijesma.2014010104-26","doi-asserted-by":"publisher","DOI":"10.1145\/953460.953483"},{"key":"ijesma.2014010104-27","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(02)00010-3"},{"key":"ijesma.2014010104-28","article-title":"Design of prototype payment application system with near field communication (NFC) technology based on Android. Computer Engineering and Applications, 1(1).","author":"H.Ubaya","year":"2012"}],"container-title":["International Journal of E-Services and Mobile Applications"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=111066","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T19:46:41Z","timestamp":1654112801000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/ijesma.2014010104"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2014,1,1]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,1]]}},"URL":"https:\/\/doi.org\/10.4018\/ijesma.2014010104","relation":{},"ISSN":["1941-627X","1941-6288"],"issn-type":[{"value":"1941-627X","type":"print"},{"value":"1941-6288","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,1]]}}}