File Download
There are no files associated with this item.
Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1016/j.ins.2005.01.016
- Scopus: eid_2-s2.0-31944446079
- WOS: WOS:000235567800005
- Find via
Supplementary
- Citations:
- Appears in Collections:
Article: Standards and verification for fair-exchange and atomicity in e-commerce transactions
Title | Standards and verification for fair-exchange and atomicity in e-commerce transactions |
---|---|
Authors | |
Keywords | Valid receipt E-business E-commerce Goods atomicity Model checking Money atomicity Protocols Standards enforcement |
Issue Date | 2006 |
Citation | Information Sciences, 2006, v. 176, n. 8, p. 1045-1066 How to Cite? |
Abstract | Electronic commerce can be defined as the conduct of commerce in goods and services, with the assistance of telecommunications and telecommunications-based tools. The economic growth potential of e-commerce is extraordinary-but so are the challenges that lie on the path toward success. One of the more pressing challenges is how to ensure the integrity and reliability of the transaction process: key aspects being fair-exchange and atomicity assurance. This paper delineates an extended fair-exchange standard, which includes atomicity assurance, intended for a wide audience including e-commerce designers, managers, users, and auditors. We demonstrate how such a standard prevents or mitigates important e-commerce concerns. To bridge theory with practice, we illustrate how the application of model checking can be used to verify the correctness of the implementation of e-commerce protocols to prevent the failure of such protocols when unforeseen circumstances occur. © 2005 Elsevier Inc. All rights reserved. |
Persistent Identifier | http://hdl.handle.net/10722/233767 |
ISSN | 2022 Impact Factor: 8.1 2023 SCImago Journal Rankings: 2.238 |
ISI Accession Number ID |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Anderson, Bonnie Brinton | - |
dc.contributor.author | Hansen, James V. | - |
dc.contributor.author | Lowry, Paul Benjamin | - |
dc.contributor.author | Summers, Scott L. | - |
dc.date.accessioned | 2016-09-27T07:21:36Z | - |
dc.date.available | 2016-09-27T07:21:36Z | - |
dc.date.issued | 2006 | - |
dc.identifier.citation | Information Sciences, 2006, v. 176, n. 8, p. 1045-1066 | - |
dc.identifier.issn | 0020-0255 | - |
dc.identifier.uri | http://hdl.handle.net/10722/233767 | - |
dc.description.abstract | Electronic commerce can be defined as the conduct of commerce in goods and services, with the assistance of telecommunications and telecommunications-based tools. The economic growth potential of e-commerce is extraordinary-but so are the challenges that lie on the path toward success. One of the more pressing challenges is how to ensure the integrity and reliability of the transaction process: key aspects being fair-exchange and atomicity assurance. This paper delineates an extended fair-exchange standard, which includes atomicity assurance, intended for a wide audience including e-commerce designers, managers, users, and auditors. We demonstrate how such a standard prevents or mitigates important e-commerce concerns. To bridge theory with practice, we illustrate how the application of model checking can be used to verify the correctness of the implementation of e-commerce protocols to prevent the failure of such protocols when unforeseen circumstances occur. © 2005 Elsevier Inc. All rights reserved. | - |
dc.language | eng | - |
dc.relation.ispartof | Information Sciences | - |
dc.subject | Valid receipt | - |
dc.subject | E-business | - |
dc.subject | E-commerce | - |
dc.subject | Goods atomicity | - |
dc.subject | Model checking | - |
dc.subject | Money atomicity | - |
dc.subject | Protocols | - |
dc.subject | Standards enforcement | - |
dc.title | Standards and verification for fair-exchange and atomicity in e-commerce transactions | - |
dc.type | Article | - |
dc.description.nature | link_to_subscribed_fulltext | - |
dc.identifier.doi | 10.1016/j.ins.2005.01.016 | - |
dc.identifier.scopus | eid_2-s2.0-31944446079 | - |
dc.identifier.volume | 176 | - |
dc.identifier.issue | 8 | - |
dc.identifier.spage | 1045 | - |
dc.identifier.epage | 1066 | - |
dc.identifier.isi | WOS:000235567800005 | - |
dc.identifier.issnl | 0020-0255 | - |