Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols

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 no...

Full description

Saved in:
Bibliographic Details
Published in:Journal of Applied Mathematics 2014-01, Vol.2014 (2014), p.492-501-042
Main Authors: Feng, Zhiyong, Li, Xiaohong, Hu, Jing, Song, Jiaojiao, Zhang, Chengwei
Format: Article
Language:English
Subjects:
Accountability
Algebra
Electronic commerce
Exchange
Exchanging
Fair exchange
Forged
Forges
Internet
Management
Mathematical models
Methods
Protocol
Strands
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-a623t-9c7c2b9077065231adf1bf9df7598dc0d7b92fa057a19db04f41d67249c135453
cites cdi_FETCH-LOGICAL-a623t-9c7c2b9077065231adf1bf9df7598dc0d7b92fa057a19db04f41d67249c135453
container_end_page 501-042
container_issue 2014
container_start_page 492
container_title Journal of Applied Mathematics
container_volume 2014
creator Feng, Zhiyong
Li, Xiaohong
Hu, Jing
Song, Jiaojiao
Zhang, Chengwei
description 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’ behaviors of E-commerce. We present a case study to demonstrate the effectiveness of our verification method.
doi_str_mv 10.1155/2014/138370
format article
fullrecord <record><control><sourceid>gale_doaj_</sourceid><recordid>TN_cdi_doaj_primary_oai_doaj_org_article_684dbad3252e4884b785f1f609e22043</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><galeid>A424530921</galeid><airiti_id>P20160908001_201412_201609190040_201609190040_492_501_042</airiti_id><doaj_id>oai_doaj_org_article_684dbad3252e4884b785f1f609e22043</doaj_id><sourcerecordid>A424530921</sourcerecordid><originalsourceid>FETCH-LOGICAL-a623t-9c7c2b9077065231adf1bf9df7598dc0d7b92fa057a19db04f41d67249c135453</originalsourceid><addsrcrecordid>eNqFks-L1DAUx4souK6ePAsFL6J09700aZqbw7CjCyOO4IK3kObHbIa2WZMOsv71ZrbDyHqRHtK898mXvG--RfEa4QKRsUsCSC-xbmsOT4ozbFpeAVDyNP8jQsUZ__G8eJHSDoAAE3hWfFuFOKi-_BKM7f24LdVoysWo-vvkUxlcuVI-jjalcnmrotKTjf63mnwYD82rahmGwUZty00MU9ChTy-LZ071yb46rufFzerq-_Jztf766Xq5WFeqIfVUCc016QRwDg0jNSrjsHPCOM5EazQY3gniFDCuUJgOqKNoGk6o0Fgzyurz4nrWNUHt5F30g4r3MigvHwohbqWKk9e9lU1LTadMTRixtG1px1vm0DUgLCFA66z1cda6i2Fn85B73XvzSHR5sz5Wj8tODRIpEuS84Zgl3p0kfu5tmuTgk7Z9r0Yb9kliQ_JTsKaFjL79B92FfcyeZ4pRLgjwps3UxUxtVR7Bjy5M2f_8GTt4HUbrfK4vKMlegCCHG3yYD-gYUorWne6PIA_xkId4yDkemX4_07d-NOqX_w_8ZoZtRqxTJ5jSllOa-5u5n8PiJ_93nk1WyTZDC4APikjkXEKR7YDHGyqIZBnMka3_AARV1cs</addsrcrecordid><sourcetype>Open Website</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1547920768</pqid></control><display><type>article</type><title>Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols</title><source>Publicly Available Content Database (Proquest) (PQ_SDU_P3)</source><source>Wiley Online Library Open Access</source><source>IngentaConnect Journals</source><creator>Feng, Zhiyong ; Li, Xiaohong ; Hu, Jing ; Song, Jiaojiao ; Zhang, Chengwei</creator><contributor>Song, Xiaoyu</contributor><creatorcontrib>Feng, Zhiyong ; Li, Xiaohong ; Hu, Jing ; Song, Jiaojiao ; Zhang, Chengwei ; Song, Xiaoyu</creatorcontrib><description>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’ behaviors of E-commerce. We present a case study to demonstrate the effectiveness of our verification method.</description><identifier>ISSN: 1110-757X</identifier><identifier>EISSN: 1687-0042</identifier><identifier>DOI: 10.1155/2014/138370</identifier><language>eng</language><publisher>Cairo, Egypt: Hindawi Limiteds</publisher><subject>Accountability ; Algebra ; Electronic commerce ; Exchange ; Exchanging ; Fair exchange ; Forged ; Forges ; Internet ; Management ; Mathematical models ; Methods ; Protocol ; Strands</subject><ispartof>Journal of Applied Mathematics, 2014-01, Vol.2014 (2014), p.492-501-042</ispartof><rights>Copyright © 2014 Chengwei Zhang et al.</rights><rights>COPYRIGHT 2014 John Wiley &amp; Sons, Inc.</rights><rights>Copyright © 2014 Chengwei Zhang et al. Chengwei Zhang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.</rights><rights>Copyright 2014 Hindawi Publishing Corporation</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-a623t-9c7c2b9077065231adf1bf9df7598dc0d7b92fa057a19db04f41d67249c135453</citedby><cites>FETCH-LOGICAL-a623t-9c7c2b9077065231adf1bf9df7598dc0d7b92fa057a19db04f41d67249c135453</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://www.proquest.com/docview/1547920768/fulltextPDF?pq-origsite=primo$$EPDF$$P50$$Gproquest$$Hfree_for_read</linktopdf><linktohtml>$$Uhttps://www.proquest.com/docview/1547920768?pq-origsite=primo$$EHTML$$P50$$Gproquest$$Hfree_for_read</linktohtml><link.rule.ids>230,314,780,784,885,25753,27924,27925,37012,37013,44590,75126</link.rule.ids></links><search><contributor>Song, Xiaoyu</contributor><creatorcontrib>Feng, Zhiyong</creatorcontrib><creatorcontrib>Li, Xiaohong</creatorcontrib><creatorcontrib>Hu, Jing</creatorcontrib><creatorcontrib>Song, Jiaojiao</creatorcontrib><creatorcontrib>Zhang, Chengwei</creatorcontrib><title>Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols</title><title>Journal of Applied Mathematics</title><description>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’ behaviors of E-commerce. We present a case study to demonstrate the effectiveness of our verification method.</description><subject>Accountability</subject><subject>Algebra</subject><subject>Electronic commerce</subject><subject>Exchange</subject><subject>Exchanging</subject><subject>Fair exchange</subject><subject>Forged</subject><subject>Forges</subject><subject>Internet</subject><subject>Management</subject><subject>Mathematical models</subject><subject>Methods</subject><subject>Protocol</subject><subject>Strands</subject><issn>1110-757X</issn><issn>1687-0042</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2014</creationdate><recordtype>article</recordtype><sourceid>PIMPY</sourceid><sourceid>DOA</sourceid><recordid>eNqFks-L1DAUx4souK6ePAsFL6J09700aZqbw7CjCyOO4IK3kObHbIa2WZMOsv71ZrbDyHqRHtK898mXvG--RfEa4QKRsUsCSC-xbmsOT4ozbFpeAVDyNP8jQsUZ__G8eJHSDoAAE3hWfFuFOKi-_BKM7f24LdVoysWo-vvkUxlcuVI-jjalcnmrotKTjf63mnwYD82rahmGwUZty00MU9ChTy-LZ071yb46rufFzerq-_Jztf766Xq5WFeqIfVUCc016QRwDg0jNSrjsHPCOM5EazQY3gniFDCuUJgOqKNoGk6o0Fgzyurz4nrWNUHt5F30g4r3MigvHwohbqWKk9e9lU1LTadMTRixtG1px1vm0DUgLCFA66z1cda6i2Fn85B73XvzSHR5sz5Wj8tODRIpEuS84Zgl3p0kfu5tmuTgk7Z9r0Yb9kliQ_JTsKaFjL79B92FfcyeZ4pRLgjwps3UxUxtVR7Bjy5M2f_8GTt4HUbrfK4vKMlegCCHG3yYD-gYUorWne6PIA_xkId4yDkemX4_07d-NOqX_w_8ZoZtRqxTJ5jSllOa-5u5n8PiJ_93nk1WyTZDC4APikjkXEKR7YDHGyqIZBnMka3_AARV1cs</recordid><startdate>20140101</startdate><enddate>20140101</enddate><creator>Feng, Zhiyong</creator><creator>Li, Xiaohong</creator><creator>Hu, Jing</creator><creator>Song, Jiaojiao</creator><creator>Zhang, Chengwei</creator><general>Hindawi Limiteds</general><general>Hindawi Puplishing Corporation</general><general>Hindawi Publishing Corporation</general><general>John Wiley &amp; Sons, Inc</general><general>Hindawi Limited</general><scope>188</scope><scope>ADJCN</scope><scope>AHFXO</scope><scope>RHU</scope><scope>RHW</scope><scope>RHX</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7TB</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>CWDGH</scope><scope>DWQXO</scope><scope>FR3</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>KR7</scope><scope>L6V</scope><scope>M7S</scope><scope>P5Z</scope><scope>P62</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>7SC</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>DOA</scope></search><sort><creationdate>20140101</creationdate><title>Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols</title><author>Feng, Zhiyong ; Li, Xiaohong ; Hu, Jing ; Song, Jiaojiao ; Zhang, Chengwei</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a623t-9c7c2b9077065231adf1bf9df7598dc0d7b92fa057a19db04f41d67249c135453</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2014</creationdate><topic>Accountability</topic><topic>Algebra</topic><topic>Electronic commerce</topic><topic>Exchange</topic><topic>Exchanging</topic><topic>Fair exchange</topic><topic>Forged</topic><topic>Forges</topic><topic>Internet</topic><topic>Management</topic><topic>Mathematical models</topic><topic>Methods</topic><topic>Protocol</topic><topic>Strands</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Feng, Zhiyong</creatorcontrib><creatorcontrib>Li, Xiaohong</creatorcontrib><creatorcontrib>Hu, Jing</creatorcontrib><creatorcontrib>Song, Jiaojiao</creatorcontrib><creatorcontrib>Zhang, Chengwei</creatorcontrib><collection>Airiti Library</collection><collection>الدوريات العلمية والإحصائية - e-Marefa Academic and Statistical Periodicals</collection><collection>معرفة - المحتوى العربي الأكاديمي المتكامل - e-Marefa Academic Complete</collection><collection>Hindawi Publishing Complete</collection><collection>Hindawi Publishing Subscription Journals</collection><collection>Hindawi Publishing Open Access Journals</collection><collection>CrossRef</collection><collection>Mechanical &amp; Transportation Engineering Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central</collection><collection>Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>Middle East &amp; Africa Database</collection><collection>ProQuest Central</collection><collection>Engineering Research Database</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>Civil Engineering Abstracts</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Advanced Technologies &amp; Aerospace Database</collection><collection>ProQuest Advanced Technologies &amp; Aerospace Collection</collection><collection>Publicly Available Content Database (Proquest) (PQ_SDU_P3)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><collection>Computer and Information Systems Abstracts</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Directory of Open Access Journals (DOAJ)</collection><jtitle>Journal of Applied Mathematics</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Feng, Zhiyong</au><au>Li, Xiaohong</au><au>Hu, Jing</au><au>Song, Jiaojiao</au><au>Zhang, Chengwei</au><au>Song, Xiaoyu</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols</atitle><jtitle>Journal of Applied Mathematics</jtitle><date>2014-01-01</date><risdate>2014</risdate><volume>2014</volume><issue>2014</issue><spage>492</spage><epage>501-042</epage><pages>492-501-042</pages><issn>1110-757X</issn><eissn>1687-0042</eissn><abstract>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’ behaviors of E-commerce. We present a case study to demonstrate the effectiveness of our verification method.</abstract><cop>Cairo, Egypt</cop><pub>Hindawi Limiteds</pub><doi>10.1155/2014/138370</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 1110-757X
ispartof Journal of Applied Mathematics, 2014-01, Vol.2014 (2014), p.492-501-042
issn 1110-757X
1687-0042
language eng
recordid cdi_doaj_primary_oai_doaj_org_article_684dbad3252e4884b785f1f609e22043
source Publicly Available Content Database (Proquest) (PQ_SDU_P3); Wiley Online Library Open Access; IngentaConnect Journals
subjects Accountability
Algebra
Electronic commerce
Exchange
Exchanging
Fair exchange
Forged
Forges
Internet
Management
Mathematical models
Methods
Protocol
Strands
title Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-06T08%3A13%3A57IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-gale_doaj_&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Formal%20Modeling%20and%20Analysis%20of%20Fairness%20Characterization%20of%20E-Commerce%20Protocols&rft.jtitle=Journal%20of%20Applied%20Mathematics&rft.au=Feng,%20Zhiyong&rft.date=2014-01-01&rft.volume=2014&rft.issue=2014&rft.spage=492&rft.epage=501-042&rft.pages=492-501-042&rft.issn=1110-757X&rft.eissn=1687-0042&rft_id=info:doi/10.1155/2014/138370&rft_dat=%3Cgale_doaj_%3EA424530921%3C/gale_doaj_%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-a623t-9c7c2b9077065231adf1bf9df7598dc0d7b92fa057a19db04f41d67249c135453%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=1547920768&rft_id=info:pmid/&rft_galeid=A424530921&rft_airiti_id=P20160908001_201412_201609190040_201609190040_492_501_042&rfr_iscdi=true