{"id":"https://openalex.org/W2730809413","doi":"https://doi.org/10.1587/transinf.2018edp7108","title":"Formal Method for Security Analysis of Electronic Payment Protocols","display_name":"Formal Method for Security Analysis of Electronic Payment Protocols","publication_year":2018,"publication_date":"2018-08-31","ids":{"openalex":"https://openalex.org/W2730809413","doi":"https://doi.org/10.1587/transinf.2018edp7108","mag":"2730809413"},"language":"en","primary_location":{"id":"doi:10.1587/transinf.2018edp7108","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2018edp7108","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E101.D/9/E101.D_2018EDP7108/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.jstage.jst.go.jp/article/transinf/E101.D/9/E101.D_2018EDP7108/_pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101614638","display_name":"Yi Liu","orcid":"https://orcid.org/0000-0002-2147-389X"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi LIU","raw_affiliation_strings":["College of Electronic Science, National University of Defense Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Electronic Science, National University of Defense Technology","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019010523","display_name":"Qingkun MENG","orcid":null},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qingkun MENG","raw_affiliation_strings":["College of Electronic Science, National University of Defense Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Electronic Science, National University of Defense Technology","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103164660","display_name":"Xingtong Liu","orcid":"https://orcid.org/0009-0002-7954-941X"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xingtong LIU","raw_affiliation_strings":["College of Electronic Science, National University of Defense Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Electronic Science, National University of Defense Technology","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100370436","display_name":"Jian Wang","orcid":"https://orcid.org/0000-0002-3737-4175"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian WANG","raw_affiliation_strings":["College of Electronic Science, National University of Defense Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Electronic Science, National University of Defense Technology","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100433934","display_name":"Lei Zhang","orcid":"https://orcid.org/0000-0003-0997-156X"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei ZHANG","raw_affiliation_strings":["College of Electronic Science, National University of Defense Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Electronic Science, National University of Defense Technology","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101867084","display_name":"Chaojing Tang","orcid":"https://orcid.org/0000-0002-9025-2791"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chaojing TANG","raw_affiliation_strings":["College of Electronic Science, National University of Defense Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Electronic Science, National University of Defense Technology","institution_ids":["https://openalex.org/I170215575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I170215575"],"apc_list":null,"apc_paid":null,"fwci":0.1717,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.58392473,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"E101.D","issue":"9","first_page":"2291","last_page":"2297"},"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.9990000128746033,"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.9904999732971191,"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.843412458896637},{"id":"https://openalex.org/keywords/payment","display_name":"Payment","score":0.7131917476654053},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.656225323677063},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6067453622817993},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.5437901616096497},{"id":"https://openalex.org/keywords/non-repudiation","display_name":"Non-repudiation","score":0.5068333745002747},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4861883521080017},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4572976529598236},{"id":"https://openalex.org/keywords/accountability","display_name":"Accountability","score":0.4484906792640686},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.43274497985839844},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.2577168941497803},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.1052490770816803},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.09638923406600952},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.08622691035270691}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.843412458896637},{"id":"https://openalex.org/C145097563","wikidata":"https://www.wikidata.org/wiki/Q1148747","display_name":"Payment","level":2,"score":0.7131917476654053},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.656225323677063},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6067453622817993},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.5437901616096497},{"id":"https://openalex.org/C44209976","wikidata":"https://www.wikidata.org/wiki/Q1327773","display_name":"Non-repudiation","level":3,"score":0.5068333745002747},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4861883521080017},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4572976529598236},{"id":"https://openalex.org/C2776007630","wikidata":"https://www.wikidata.org/wiki/Q2798912","display_name":"Accountability","level":2,"score":0.4484906792640686},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.43274497985839844},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.2577168941497803},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.1052490770816803},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.09638923406600952},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.08622691035270691},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1587/transinf.2018edp7108","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2018edp7108","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E101.D/9/E101.D_2018EDP7108/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1706.10078","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1706.10078","pdf_url":"https://arxiv.org/pdf/1706.10078","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"}],"best_oa_location":{"id":"doi:10.1587/transinf.2018edp7108","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2018edp7108","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E101.D/9/E101.D_2018EDP7108/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2730809413.pdf","grobid_xml":"https://content.openalex.org/works/W2730809413.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W1621311009","https://openalex.org/W1841824773","https://openalex.org/W1951334222","https://openalex.org/W2028234853","https://openalex.org/W2035024861","https://openalex.org/W2044073799","https://openalex.org/W2065448760","https://openalex.org/W2070764720","https://openalex.org/W2148037820","https://openalex.org/W2156186849","https://openalex.org/W2174595797","https://openalex.org/W2272156155","https://openalex.org/W2314300775","https://openalex.org/W2367498353","https://openalex.org/W2369146168","https://openalex.org/W2370286419","https://openalex.org/W2375289839","https://openalex.org/W2376409479","https://openalex.org/W2379744434","https://openalex.org/W2554064047","https://openalex.org/W2554211906","https://openalex.org/W2570626917","https://openalex.org/W2615855761","https://openalex.org/W2762861109","https://openalex.org/W3151522282","https://openalex.org/W4241074486"],"related_works":["https://openalex.org/W1940324360","https://openalex.org/W2383170811","https://openalex.org/W2387382314","https://openalex.org/W2381080190","https://openalex.org/W2358942851","https://openalex.org/W1965722552","https://openalex.org/W4237112499","https://openalex.org/W2136262554","https://openalex.org/W3003693171","https://openalex.org/W2147487848"],"abstract_inverted_index":{"Electronic":[0],"payment":[1,31,70,145],"protocols":[2],"provide":[3],"secure":[4],"service":[5],"for":[6,55],"electronic":[7,30,69,144],"commerce":[8],"transactions":[9],"and":[10,40,75,94,114],"protect":[11],"private":[12],"information":[13],"from":[14],"malicious":[15],"entities":[16],"in":[17],"a":[18,60,79],"network.":[19],"Formal":[20],"methods":[21,35],"have":[22],"been":[23],"introduced":[24],"to":[25,63,83,89,127,152],"verify":[26,153],"the":[27,38,43,47,65,91,96,100,105,118,121,128,140,154],"security":[28,66,159],"of":[29,42,68,99,120,143,157],"protocols;":[32],"however,":[33],"these":[34],"concentrate":[36],"on":[37],"accountability":[39],"fairness":[41,74,119],"protocols,":[44,71],"without":[45],"considering":[46],"impact":[48],"caused":[49],"by":[50],"timeliness.":[51,76],"To":[52],"make":[53],"up":[54],"this":[56],"deficiency,":[57],"we":[58,115],"present":[59],"formal":[61,112,136],"method":[62,88,137],"analyze":[64,139],"properties":[67,142,156],"namely,":[72],"accountability,":[73],"We":[77],"add":[78],"concise":[80],"time":[81,93,97,155],"expression":[82],"an":[84],"existing":[85],"logical":[86,101],"reasoning":[87],"represent":[90],"event":[92],"extend":[95],"characteristics":[98],"inference":[102],"rules.":[103],"Then,":[104],"Netbill":[106],"protocol":[107,122],"is":[108,123],"analyzed":[109],"with":[110],"our":[111,135],"method,":[113],"find":[116],"that":[117,134],"not":[124],"satisfied":[125],"due":[126],"timeliness":[129],"problem.":[130],"The":[131],"results":[132],"illustrate":[133],"can":[138,149],"key":[141],"protocols.":[146,160],"Furthermore,":[147],"it":[148],"be":[150],"used":[151],"other":[158]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2017-07-14T00:00:00"}