{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:42:38Z","timestamp":1740134558995,"version":"3.37.3"},"reference-count":6,"publisher":"Wiley","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["91118003","61272106","61003080"],"award-info":[{"award-number":["91118003","61272106","61003080"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["91118003","61272106","61003080"],"award-info":[{"award-number":["91118003","61272106","61003080"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["91118003","61272106","61003080"],"award-info":[{"award-number":["91118003","61272106","61003080"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004517","name":"Tianjin University","doi-asserted-by":"publisher","award":["91118003","61272106","61003080"],"award-info":[{"award-number":["91118003","61272106","61003080"]}],"id":[{"id":"10.13039\/501100004517","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Mathematics"],"published-print":{"date-parts":[[2014]]},"abstract":"<jats:p>In the past, fairness verification of exchanges between the traders in E-commerce was based on a common assumption, so-called nonrepudiation property, which says that if the parties involved can deny that they have received or sent some information, then the exchanging protocol is unfair. So, the nonrepudiation property is not a sufficient condition. In this paper, we formulate a new notion of fairness verification based on the strand space model and propose a method for fairness verification, which can potentially determine whether evidences have been forged in transactions. We first present an innovative formal approach not to depend on nonrepudiation, and then establish a relative trader model and extend the strand space model in accordance with traders\u2019 behaviors of E-commerce. We present a case study to demonstrate the effectiveness of our verification method.<\/jats:p>","DOI":"10.1155\/2014\/138370","type":"journal-article","created":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T17:02:09Z","timestamp":1401642129000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols"],"prefix":"10.1155","volume":"2014","author":[{"given":"Chengwei","family":"Zhang","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Tianjin University, Tianjin 300072, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaohong","family":"Li","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Tianjin University, Tianjin 300072, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Hu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Tianjin University, Tianjin 300072, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiyong","family":"Feng","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Tianjin University, Tianjin 300072, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiaojiao","family":"Song","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Tianjin University, Tianjin 300072, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/32.502224"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45694-5_33"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05250-7_49"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.06.017"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9202-1"},{"issue":"7","key":"18","doi-asserted-by":"crossref","first-page":"1839","DOI":"10.3724\/SP.J.1087.2009.01839","volume":"29","year":"2009","journal-title":"Journal of Computer Applications"}],"container-title":["Journal of Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2014\/138370.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2014\/138370.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2014\/138370.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T10:09:46Z","timestamp":1498126186000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.hindawi.com\/journals\/jam\/2014\/138370\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":6,"alternative-id":["138370","138370"],"URL":"https:\/\/doi.org\/10.1155\/2014\/138370","relation":{},"ISSN":["1110-757X","1687-0042"],"issn-type":[{"type":"print","value":"1110-757X"},{"type":"electronic","value":"1687-0042"}],"subject":[],"published":{"date-parts":[[2014]]}}}