{"id":"https://openalex.org/W1986688181","doi":"https://doi.org/10.4018/japuc.2012040101","title":"A Secure Mobile Wallet Framework with Formal Verification","display_name":"A Secure Mobile Wallet Framework with Formal Verification","publication_year":2012,"publication_date":"2012-04-01","ids":{"openalex":"https://openalex.org/W1986688181","doi":"https://doi.org/10.4018/japuc.2012040101","mag":"1986688181"},"language":"en","primary_location":{"id":"doi:10.4018/japuc.2012040101","is_oa":true,"landing_page_url":"https://doi.org/10.4018/japuc.2012040101","pdf_url":null,"source":{"id":"https://openalex.org/S16161090","display_name":"International Journal of Advanced Pervasive and Ubiquitous Computing","issn_l":"1937-965X","issn":["1937-965X","1937-9668"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Advanced Pervasive and Ubiquitous Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.4018/japuc.2012040101","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013729667","display_name":"Shaik Shakeel Ahamad","orcid":"https://orcid.org/0000-0002-9619-0907"},"institutions":[{"id":"https://openalex.org/I150312865","display_name":"Institute for Development and Research in Banking Technology","ror":"https://ror.org/00ta0g865","country_code":"IN","type":"government","lineage":["https://openalex.org/I150312865"]},{"id":"https://openalex.org/I36893310","display_name":"University of Hyderabad","ror":"https://ror.org/04a7rxb17","country_code":"IN","type":"education","lineage":["https://openalex.org/I36893310"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Shaik Shakeel Ahamad","raw_affiliation_strings":["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","Department of Computer and Information Sciences, University of Hyderabad, Hyderabad, India & Institute for Development and Research in Banking Technology, Castle Hills, Masab Tank, Hyderabad, Indi ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"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","institution_ids":["https://openalex.org/I150312865","https://openalex.org/I36893310"]},{"raw_affiliation_string":"Department of Computer and Information Sciences, University of Hyderabad, Hyderabad, India & Institute for Development and Research in Banking Technology, Castle Hills, Masab Tank, Hyderabad, Indi ...#TAB#","institution_ids":["https://openalex.org/I150312865","https://openalex.org/I36893310"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074528054","display_name":"V. N. Sastry","orcid":null},"institutions":[{"id":"https://openalex.org/I150312865","display_name":"Institute for Development and Research in Banking Technology","ror":"https://ror.org/00ta0g865","country_code":"IN","type":"government","lineage":["https://openalex.org/I150312865"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"V. N. Sastry","raw_affiliation_strings":["Institute for Development and Research in Banking Technology, Castle Hills, Masab Tank, Hyderabad, India","Institute for Development and Research in Banking Technology, Castle Hills, Masab Tank, Hyderabad, India#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Development and Research in Banking Technology, Castle Hills, Masab Tank, Hyderabad, India","institution_ids":["https://openalex.org/I150312865"]},{"raw_affiliation_string":"Institute for Development and Research in Banking Technology, Castle Hills, Masab Tank, Hyderabad, India#TAB#","institution_ids":["https://openalex.org/I150312865"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040402369","display_name":"Siba K. Udgata","orcid":"https://orcid.org/0000-0001-8314-2618"},"institutions":[{"id":"https://openalex.org/I36893310","display_name":"University of Hyderabad","ror":"https://ror.org/04a7rxb17","country_code":"IN","type":"education","lineage":["https://openalex.org/I36893310"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Siba K. Udgata","raw_affiliation_strings":["Department of Computer and Information Sciences, University of Hyderabad, Hyderabad, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Sciences, University of Hyderabad, Hyderabad, India","institution_ids":["https://openalex.org/I36893310"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3631,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.61399537,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"4","issue":"2","first_page":"1","last_page":"15"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11800","display_name":"User Authentication and Security Systems","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9923999905586243,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7166206240653992},{"id":"https://openalex.org/keywords/mobile-payment","display_name":"Mobile payment","score":0.7067198753356934},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6297114491462708},{"id":"https://openalex.org/keywords/mutual-authentication","display_name":"Mutual authentication","score":0.567771852016449},{"id":"https://openalex.org/keywords/man-in-the-middle-attack","display_name":"Man-in-the-middle attack","score":0.49668604135513306},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.48564445972442627},{"id":"https://openalex.org/keywords/non-repudiation","display_name":"Non-repudiation","score":0.48173239827156067},{"id":"https://openalex.org/keywords/provisioning","display_name":"Provisioning","score":0.47948965430259705},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.46926018595695496},{"id":"https://openalex.org/keywords/mobile-computing","display_name":"Mobile computing","score":0.40335431694984436}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7166206240653992},{"id":"https://openalex.org/C160949748","wikidata":"https://www.wikidata.org/wiki/Q1365703","display_name":"Mobile payment","level":3,"score":0.7067198753356934},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6297114491462708},{"id":"https://openalex.org/C2781221063","wikidata":"https://www.wikidata.org/wiki/Q6944186","display_name":"Mutual authentication","level":3,"score":0.567771852016449},{"id":"https://openalex.org/C196491621","wikidata":"https://www.wikidata.org/wiki/Q554830","display_name":"Man-in-the-middle attack","level":3,"score":0.49668604135513306},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.48564445972442627},{"id":"https://openalex.org/C44209976","wikidata":"https://www.wikidata.org/wiki/Q1327773","display_name":"Non-repudiation","level":3,"score":0.48173239827156067},{"id":"https://openalex.org/C172191483","wikidata":"https://www.wikidata.org/wiki/Q1071806","display_name":"Provisioning","level":2,"score":0.47948965430259705},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.46926018595695496},{"id":"https://openalex.org/C144543869","wikidata":"https://www.wikidata.org/wiki/Q2738570","display_name":"Mobile computing","level":2,"score":0.40335431694984436}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.4018/japuc.2012040101","is_oa":true,"landing_page_url":"https://doi.org/10.4018/japuc.2012040101","pdf_url":null,"source":{"id":"https://openalex.org/S16161090","display_name":"International Journal of Advanced Pervasive and Ubiquitous Computing","issn_l":"1937-965X","issn":["1937-965X","1937-9668"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Advanced Pervasive and Ubiquitous Computing","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:igg:japuc0:v:4:y:2012:i:2:p:1-15","is_oa":false,"landing_page_url":"http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/japuc.2012040101","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.4018/japuc.2012040101","is_oa":true,"landing_page_url":"https://doi.org/10.4018/japuc.2012040101","pdf_url":null,"source":{"id":"https://openalex.org/S16161090","display_name":"International Journal of Advanced Pervasive and Ubiquitous Computing","issn_l":"1937-965X","issn":["1937-965X","1937-9668"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Advanced Pervasive and Ubiquitous Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W117404875","https://openalex.org/W142045744","https://openalex.org/W2006882287","https://openalex.org/W2020136068","https://openalex.org/W2031183349","https://openalex.org/W2117064875","https://openalex.org/W2152785173","https://openalex.org/W2295831542","https://openalex.org/W2512252482","https://openalex.org/W6697083035"],"related_works":["https://openalex.org/W4221155389","https://openalex.org/W177107229","https://openalex.org/W2537190205","https://openalex.org/W2464072946","https://openalex.org/W2317925838","https://openalex.org/W1610466870","https://openalex.org/W2537794983","https://openalex.org/W4214844755","https://openalex.org/W1992264324","https://openalex.org/W4319265312"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"a":[3,24,33],"Secure":[4],"Mobile":[5,46,94,143,159],"Wallet":[6,95],"Framework":[7],"(SMWF)":[8],"using":[9,206],"WPKI":[10,123],"(Wireless":[11],"Public":[12],"Key":[13,42],"Infrastructure)":[14],"and":[15,37,41,56,82,110,134,177,185,188,196,208,211],"UICC":[16,28,147],"(Universal":[17],"Integrated":[18],"Circuit":[19],"Card)":[20],"by":[21,29,53,69,80,131],"defining":[22],"(a)":[23],"procedure":[25,34],"of":[26,35,45,117,122,127],"personalizing":[27],"the":[30,54,88,132,149,167,193],"client,":[31],"(b)":[32],"provisioning":[36],"personalization":[38,126],"(Mutual":[39],"Authentication":[40],"Agreement":[43],"Protocol)":[44],"Payments":[47,144],"Application":[48,145,161],"(which":[49,162],"is":[50,62,77,85,105,163,203],"on":[51,164],"UICC)":[52,165],"Bank":[55,150,168],"(c)":[57],"our":[58],"proposed":[59,93,103,153],"mobile":[60,65,75,89,128,154,200],"wallet":[61,66,90],"will":[63],"have":[64],"manager":[67],"managed":[68],"CA":[70],"(acting":[71],"as":[72],"TSM),":[73],"every":[74],"application":[76,130],"independent,":[78],"protected":[79],"firewalls":[81],"encrypted":[83],"data":[84],"stored":[86],"in":[87,115,124,135,146,192],"application.":[91],"Their":[92],"ensures":[96,173],"end":[97,99,137,139],"to":[98,112,138,148,166],"security.":[100],"The":[101,152],"authors\u2019":[102],"SMWF":[104],"compared":[106],"with":[107,213],"recent":[108],"works":[109],"found":[111],"be":[113],"better":[114],"terms":[116],"generating":[118],"client\u2019s":[119],"credentials,":[120],"implementation":[121],"UICC,":[125],"payment":[129,155,201],"bank":[133],"ensuring":[136],"security":[140],"(i.e.,":[141],"from":[142,158],"Server).":[151],"protocol":[156,202],"originating":[157],"Payment":[160],"Server":[169],"realizes":[170],"Fair":[171],"Exchange":[172],"Confidentiality,":[174],"Authentication,":[175],"Integrity":[176],"Non":[178],"Repudiation,":[179],"prevents":[180],"double":[181],"spending,":[182],"over":[183],"spending":[184],"money":[186],"laundering,":[187],"withstands":[189],"replay,":[190],"Man":[191],"Middle":[194],"(MITM)":[195],"Impersonation":[197],"attacks.":[198],"Proposed":[199],"formally":[204],"verified":[205],"AVISPA":[207],"Scyther":[209],"Tool":[210],"presented":[212],"results.":[214]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-11T06:19:23.411458","created_date":"2025-10-10T00:00:00"}