{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T17:26:04Z","timestamp":1771262764741,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T00:00:00Z","timestamp":1565222400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T00:00:00Z","timestamp":1565222400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Complex Adapt Syst Model"],"published-print":{"date-parts":[[2019,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Mobile contactless payment (MCP) is the future technology that is used for mobile payments, mobile wallet, transportation, and for mobile coupons. Existing solutions in this realm do not ensure end-to-end communication, information privacy, and the client\u2019s anonymity. In order to overcome these flaws, we propose a secure and privacy preserving mobile commerce (SPPMC) framework for near-field communication (NFC) based proximity payments. SPPMC framework achieves both communication and information privacy. It ensures the client\u2019s anonymity by making use of traceable anonymous certificates (TAC). Grid of secure elements (GSE) is used at the banking servers. The cost of computation and communication is very less. SPPMC ensures end-to-end security and withstands any type of known attack including multi-protocol attack. SPPMC is successfully verified using Burrows\u2013Abadi\u2013Needham (BAN) logic and Scyther tool. It ensures all the security properties.<\/jats:p>","DOI":"10.1186\/s40294-019-0064-z","type":"journal-article","created":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T12:02:47Z","timestamp":1565265767000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Trusted service manager (TSM) based privacy preserving and secure mobile commerce framework with formal verification"],"prefix":"10.1186","volume":"7","author":[{"given":"Shaik Shakeel","family":"Ahamad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6572-3451","authenticated-orcid":false,"given":"Al-Sakib Khan","family":"Pathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,8,8]]},"reference":[{"issue":"2","key":"64_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0167-6423(93)90002-7","volume":"21","author":"M Abadi","year":"1993","unstructured":"Abadi M, Burrows M, Kaufman C, Lampson B (1993) Authentication and delegation with smart-cards. Sci Comput Program 21(2):93\u2013113","journal-title":"Sci Comput Program"},{"issue":"4","key":"64_CR2","first-page":"355","volume":"9","author":"SS Ahamad","year":"2014","unstructured":"Ahamad SS, Sastry VN, Udgata SK (2014) Secure mobile payment framework based on UICC with formal verification. Int J Comput Sci Eng 9(4):355\u2013370","journal-title":"Int J Comput Sci Eng"},{"key":"64_CR3","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","author":"A. Armando","year":"2005","unstructured":"Armando A et al (2005) The AVISPA tool for the automated validation of internet security protocols and applications. In: International conference on computer aided verification, CAV 2005, pp 281\u2013285"},{"issue":"2","key":"64_CR4","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/j.csi.2008.04.001","volume":"31","author":"MZ Ashrafi","year":"2009","unstructured":"Ashrafi MZ, Ng SK (2009) Privacy-preserving e-payments using one-time payment details. Comput Stand Interfaces 31(2):321\u2013328","journal-title":"Comput Stand Interfaces"},{"issue":"1","key":"64_CR5","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M Burrows","year":"1990","unstructured":"Burrows M, Abadi M, Needham R (1990) A logic of authentication. ACM Trans Comput Syst (TOCS) 8(1):18\u201336","journal-title":"ACM Trans Comput Syst (TOCS)"},{"key":"64_CR6","unstructured":"Cremers CJF (2006) Scyther-semantics and verification of security protocols. Ph.D. Thesis, Eindhoven University of Technology"},{"key":"64_CR7","first-page":"70","volume":"5458","author":"CJF Cremers","year":"2009","unstructured":"Cremers CJF, Lafourcade P, Nadeau P (2009) Comparing state spaces in automatic security protocol analysis. LNCS 5458:70\u201394","journal-title":"LNCS"},{"key":"64_CR8","doi-asserted-by":"publisher","first-page":"931","DOI":"10.1016\/j.techfore.2018.09.018","volume":"146","author":"IR de Luna","year":"2019","unstructured":"de Luna IR, Li\u00e9bana-Cabanillas F, S\u00e1nchez-Fern\u00e1ndez J, Mu\u00f1oz-Leiva F (2019) Mobile payment is not all the same: the adoption of mobile payment systems depending on the technology applied. Technol Forecast Soc Change 146:931\u2013944","journal-title":"Technol Forecast Soc Change"},{"issue":"1","key":"64_CR9","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1109\/TCE.2013.6490254","volume":"59","author":"H Eun","year":"2013","unstructured":"Eun H, Lee H, Oh H (2013) Conditional privacy preserving security protocol for NFC applications. IEEE Trans Consum Electron 59(1):153\u2013160","journal-title":"IEEE Trans Consum Electron"},{"key":"64_CR10","unstructured":"Host Card Emulation 101. White paper, secure technology alliance, August 2014. https:\/\/www.securetechalliance.org\/publications-host-card-emulation-101\/. Accessed 23 June 2019"},{"key":"64_CR11","doi-asserted-by":"publisher","first-page":"33159","DOI":"10.1109\/ACCESS.2019.2903271","volume":"7","author":"Y Hu","year":"2019","unstructured":"Hu Y, Manzoor A, Ekparinya P, Liyanage M, Thilakarathna K, Jourjon G, Seneviratne A (2019) A delay-tolerant payment scheme based on the Ethereum Blockchain. IEEE Access 7:33159\u201333172","journal-title":"IEEE Access"},{"key":"64_CR12","unstructured":"ISO\/IEC 11889-1:2009\u2014Information technology\u2014trusted platform module\u2014Part 1: Overview. ISO.org. International Organization for Standardization. May 2009. https:\/\/www.iso.org\/standard\/50970.html. Accessed June 23 2019"},{"key":"64_CR13","first-page":"1815","volume-title":"Lecture Notes in Electrical Engineering","author":"Songnong Li","year":"2019","unstructured":"Li S, Hu X, Fengling, Zhang Y, Dong W, Ye J, Sun H (2019) Research on offline transaction model in mobile payment system. In: International Conference on Frontier Computing 2018, LNEE, vol 542. pp 1815\u20131820"},{"key":"64_CR14","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.techfore.2018.11.012","volume":"139","author":"F Li\u00e9bana-Cabanillas","year":"2019","unstructured":"Li\u00e9bana-Cabanillas F, Molinillo S, Ruiz-Monta\u00f1ez M (2019) To use or not to use, that is the question: analysis of the determining factors for using NFC mobile payment systems in public transportation. Technol Forecast Soc Change 139:266\u2013276","journal-title":"Technol Forecast Soc Change"},{"key":"64_CR15","doi-asserted-by":"crossref","unstructured":"Mall D, Konat\u00e9 K, Pathan A-SK (2017) ECL-EKM: an enhanced certificateless effective key management protocol for dynamic WSN. In: International conference on networking, systems and security (NSysS 2017), January 5\u20138, Dhaka, Bangladesh, pp 150\u2013155","DOI":"10.1109\/NSysS.2017.7885817"},{"key":"64_CR16","doi-asserted-by":"crossref","unstructured":"Muhammad S, Furqan Z, Guha RK (2006) Understanding the intruder through attacks on cryptographic protocols. In: Proceedings of the 44th annual Southeast regional conference, pp 667\u2013672","DOI":"10.1145\/1185448.1185594"},{"key":"64_CR17","unstructured":"NFC-Ready POS Terminals to Hit 8 in 10 Globally by 2022. https:\/\/www.electran.org\/publication\/transactiontrends\/nfc-ready-pos-terminals-to-hit-8-in-10-globally-by-2022\/. Accessed 12 Apr 2019"},{"key":"64_CR18","doi-asserted-by":"crossref","unstructured":"Park S, Park H, Won Y, Lee J (2009) Traceable anonymous certificate. RFC 5636\u2014IETF Tools. https:\/\/tools.ietf.org\/html\/rfc5636. Accessed 27 May 2019","DOI":"10.17487\/rfc5636"},{"issue":"1","key":"64_CR19","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1002\/hfm.20750","volume":"29","author":"J Park","year":"2019","unstructured":"Park J, Amendah E, Lee Y, Hyun H (2019) M-payment service: interplay of perceived risk, benefit, and trust in service adoption. Hum Factors Ergon Manuf Serv Ind 29(1):31\u201343","journal-title":"Hum Factors Ergon Manuf Serv Ind"},{"key":"64_CR20","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-981-13-0408-8_18","volume":"504","author":"\u00d6 \u015eengel","year":"2018","unstructured":"\u015eengel \u00d6, Aydin MA, Sertba\u015f A (2018) A survey on white box cryptography model for mobile payment systems. Lect Notes Electr Eng 504:215\u2013225","journal-title":"Lect Notes Electr Eng"},{"issue":"4","key":"64_CR21","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1109\/TCE.2018.2873181","volume":"64","author":"D Sethia","year":"2018","unstructured":"Sethia D, Gupta D, Saran H (2018) NFC secure element-based mutual authentication and attestation for IoT access. IEEE Trans Consum Electron 64(4):470\u2013479","journal-title":"IEEE Trans Consum Electron"},{"key":"64_CR22","unstructured":"SIMalliance reports continued strength of global SIM market in 2018 with estimated 5.6\u00a0billion shipments and gives first view of eSIM volumes. https:\/\/simalliance.org\/media\/press-releases\/simalliance-reports-continued-strength-of-global-sim-market-in-2018-with-estimated-5-6-billion-shipments-and-gives-first-view-of-esim-volumes\/. Accessed 27 May 2019"},{"key":"64_CR23","unstructured":"Softcard. https:\/\/www.mobilepaymentstoday.com\/companies\/media\/isis\/, https:\/\/www.gosoftcard.com\/. Accessed 27 May 2019"},{"key":"64_CR24","isbn-type":"print","volume-title":"Cryptography-theory and practice","author":"DR Stinson","year":"2005","unstructured":"Stinson DR (2005) Cryptography-theory and practice. Chapman & Hall\/CRC, Boca Raton. ISBN 978-1-58-488508-5","ISBN":"https:\/\/id.crossref.org\/isbn\/9781584885085"}],"container-title":["Complex Adaptive Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s40294-019-0064-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1186\/s40294-019-0064-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s40294-019-0064-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T06:55:07Z","timestamp":1627628107000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1186\/s40294-019-0064-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,8]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["64"],"URL":"https:\/\/doi.org\/10.1186\/s40294-019-0064-z","relation":{},"ISSN":["2194-3206"],"issn-type":[{"value":"2194-3206","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,8,8]]},"assertion":[{"value":"29 June 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 August 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 August 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"All authors declare that they have no competing interests.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"3"}}