{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,8,31]],"date-time":"2022-08-31T03:10:33Z","timestamp":1661915433869},"reference-count":25,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2018,9,1]]},"DOI":"10.1587\/transinf.2018edp7108","type":"journal-article","created":{"date-parts":[[2018,8,31]],"date-time":"2018-08-31T22:45:04Z","timestamp":1535755504000},"page":"2291-2297","source":"Crossref","is-referenced-by-count":1,"title":["Formal Method for Security Analysis of Electronic Payment Protocols"],"prefix":"10.1587","volume":"E101.D","author":[{"given":"Yi","family":"LIU","sequence":"first","affiliation":[{"name":"College of Electronic Science, National University of Defense Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qingkun","family":"MENG","sequence":"additional","affiliation":[{"name":"College of Electronic Science, National University of Defense Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xingtong","family":"LIU","sequence":"additional","affiliation":[{"name":"College of Electronic Science, National University of Defense Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian","family":"WANG","sequence":"additional","affiliation":[{"name":"College of Electronic Science, National University of Defense Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"ZHANG","sequence":"additional","affiliation":[{"name":"College of Electronic Science, National University of Defense Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chaojing","family":"TANG","sequence":"additional","affiliation":[{"name":"College of Electronic Science, National University of Defense Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] C. Chen, L. Jia, H. Xu, C. Luo, W. Zhou, and B.T. Loo, \u201cA Program Logic for Verifying Secure Routing Protocols,\u201d Logical Methods in Computer Science, vol.11, no.4, 2015. 10.2168\/LMCS-11(4:19)2015","DOI":"10.2168\/LMCS-11(4:19)2015"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] P. McCorry, S.F. Shahandashti, and F. Hao, \u201cRefund attacks on Bitcoin's Payment Protocol,\u201d Barbados: 20th Financial Cryptography and Data Security, vol.9603, pp.581-599, 2016. 10.1007\/978-3-662-54970-4_34","DOI":"10.1007\/978-3-662-54970-4_34"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] R. K\u00fcsters, T. Truderung, and A. Vogt, \u201cAccountabiliy:Definition and Relationship to Verifiability,\u201d The 17th ACM Conference on Computer and Communications Security, pp.526-535, 2010. 0.1145\/1866307.1866366","DOI":"10.1145\/1866307.1866366"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] S. Qing, \u201cA Formal Method for Analyzing Electronic Commerce Protocols,\u201d J. Software, 2005. 10.1360\/jos161757","DOI":"10.1360\/jos161757"},{"key":"5","unstructured":"[5] D. Zhou, S. Qing, and Z. Zhou, \u201cA new approach for the analysis of electronic payment protocols,\u201d J. Software, 2001."},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Y. Liu, X. Liu, J. Ye, and C. Tang, \u201cFormal Analysis of Timeliness in Electronic Commerce Protocols,\u201d 2016 Progress in Electromagnetic Research Symposium (PIERS), 2016. 10.1109\/PIERS.2016.7735394","DOI":"10.1109\/PIERS.2016.7735394"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] R. Kailar, \u201cAccountability in Electronic Commerce Protocols,\u201d Piscataway, NJ, USA: IEEE Trans. Softw. Eng., vol.22, no.5, pp.313-328, 1996 10.1109\/32.502224","DOI":"10.1109\/32.502224"},{"key":"8","unstructured":"[8] K. Volker and N. Heike, \u201cA sound logic for analysing electronic payment protocols,\u201d The 5th European Symposium on Research in Computer Security, 1998."},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] B. Li and J. Luo, \u201cFormal Analysis of Timeliness in Non-Repudiation Protocols,\u201d J. Software, 2006. 10.1360\/jos171510","DOI":"10.1360\/jos171510"},{"key":"10","unstructured":"[10] J. Wen, M. Zhang, and H. Zhang, \u201cFormal analysis of electronic payment protocols based on game logic,\u201d Microelectronics Computer, 2007."},{"key":"11","unstructured":"[11] L. Chen, \u201cNew logic of analyzing electronic commerce security protocols,\u201d Computer Science, 2010."},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Y. Gao, D. Peng, and P. Tang, \u201cA Formal Analysis Method for Optimistic Fair Exchange Protocol,\u201d J. Convergence Information Technology, 2013. 10.4156\/jcit.vol8.issue3.5","DOI":"10.4156\/jcit.vol8.issue3.5"},{"key":"13","unstructured":"[13] K. Steve, \u201cFormal analysis of optimistic fair exchange protocols,\u201d Universite Libre de Bruxelles, 2004."},{"key":"14","unstructured":"[14] X. Xie, H. Zhang, \u201cFairness research of electronic commerce paying protocols based on finite automaton model,\u201d Computer Applications, 2004."},{"key":"15","unstructured":"[15] H. Guo, Z. Li, L. Zhuang, and H. Ji, \u201cNew approach for analyzing of E-commerce protocol,\u201d Computer Science, 2010."},{"key":"16","unstructured":"[16] W. Liu, S. Ma, Y. Si, and G. Hou, \u201cA combining deterministic finite automaton with logic rules approach for analyzing of E-commerce protocol,\u201d J. Chinese Computer Systems, 2013."},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] J. Dreier, A. Kassem, and L. Pascal, \u201cFormal Analysis of E-Cash Protocols,\u201d International Conference on Security & Cryptography, vol.1, pp.65-75, 2015. 10.5220\/0005544500650075","DOI":"10.5220\/0005544500650075"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] M. Papa, O. Bremer, J. Hale, and S. Shenoi, \u201cFormal Analysis of E-Commerce Protocols,\u201d The 5th International Symposium on Autonomous Decentralized Systems, 2001. 10.1109\/ISADS.2001.917391","DOI":"10.1109\/ISADS.2001.917391"},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] C. Ouyang and J. Billington, \u201cAn Improved Formal Specification of the Internet Open Trading Protocol,\u201d 2004 ACM symposium on Applied computing, pp.779-783, 2004. 10.1145\/967900.968061","DOI":"10.1145\/967900.968061"},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] G. Bella, F. Massacci, and L.C. Paulson, \u201cVerifying the SET Purchase Protocols,\u201d J. Automated Reasoning, vol.36, no.1-2, pp.5-37, 2006. 10.1007\/s10817-005-9018-6","DOI":"10.1007\/s10817-005-9018-6"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] J.D. Guttman, \u201cState and Progress in Strand Spaces: Proving Fair Exchange,\u201d J. Automated Reasoning, vol.48, no.2, pp.159-195, 2012. 10.1007\/s10817-010-9202-1","DOI":"10.1007\/s10817-010-9202-1"},{"key":"22","unstructured":"[22] Y. Guo, L. Ding, Y. Zhou, and L. Guo, \u201cAnalysis for E-commerce protocols based on ProVerif,\u201d J. Communications, 2009."},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] Y. Liu, X.-T. Liu, and C.-J. Tang, \u201cA Novel Logic for Analyzing Electronic Payment Protocols,\u201d 3rd Annual International Conference on Information Technology and Applications, vol.7, 2016. 10.1051\/itmconf\/20160701002","DOI":"10.1051\/itmconf\/20160701002"},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] M. Sirbu and J.D. Tygar, \u201cNetBill: an internet commerce system optimized for network delivered services,\u201d IEEE Pers. Commun., vol.2, no.4, pp.34-39, Aug. 1995. 10.1109\/98.403456","DOI":"10.1109\/98.403456"},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] W. Diffie and M. Hellman, \u201cNew directions in cryptography,\u201d IEEE Trans. Inf. Theory, vol.22, no.6, pp.644-654, Nov. 1976. 10.1109\/TIT.1976.1055638","DOI":"10.1109\/TIT.1976.1055638"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E101.D\/9\/E101.D_2018EDP7108\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,31]],"date-time":"2022-08-31T02:34:09Z","timestamp":1661913249000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E101.D\/9\/E101.D_2018EDP7108\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,1]]},"references-count":25,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2018]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2018edp7108","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9,1]]}}}