File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Article: Standards and verification for fair-exchange and atomicity in e-commerce transactions

TitleStandards and verification for fair-exchange and atomicity in e-commerce transactions
Authors
KeywordsValid receipt
E-business
E-commerce
Goods atomicity
Model checking
Money atomicity
Protocols
Standards enforcement
Issue Date2006
Citation
Information Sciences, 2006, v. 176, n. 8, p. 1045-1066 How to Cite?
AbstractElectronic 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 Identifierhttp://hdl.handle.net/10722/233767
ISSN
2015 Impact Factor: 3.364
2015 SCImago Journal Rankings: 2.513

 

DC FieldValueLanguage
dc.contributor.authorAnderson, Bonnie Brinton-
dc.contributor.authorHansen, James V.-
dc.contributor.authorLowry, Paul Benjamin-
dc.contributor.authorSummers, Scott L.-
dc.date.accessioned2016-09-27T07:21:36Z-
dc.date.available2016-09-27T07:21:36Z-
dc.date.issued2006-
dc.identifier.citationInformation Sciences, 2006, v. 176, n. 8, p. 1045-1066-
dc.identifier.issn0020-0255-
dc.identifier.urihttp://hdl.handle.net/10722/233767-
dc.description.abstractElectronic 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.languageeng-
dc.relation.ispartofInformation Sciences-
dc.subjectValid receipt-
dc.subjectE-business-
dc.subjectE-commerce-
dc.subjectGoods atomicity-
dc.subjectModel checking-
dc.subjectMoney atomicity-
dc.subjectProtocols-
dc.subjectStandards enforcement-
dc.titleStandards and verification for fair-exchange and atomicity in e-commerce transactions-
dc.typeArticle-
dc.description.natureLink_to_subscribed_fulltext-
dc.identifier.doi10.1016/j.ins.2005.01.016-
dc.identifier.scopuseid_2-s2.0-31944446079-
dc.identifier.volume176-
dc.identifier.issue8-
dc.identifier.spage1045-
dc.identifier.epage1066-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats