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

DOI10.1016/J.INS.2005.01.016MaRDI QIDQ2489255zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Bonnie Brinton Anderson, James V. Hansen, Paul Benjamin Lowry, Scott L. Summers

Publication date 16 May 2006

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2005.01.016

zbMATH Keywords

E-commerceModel checkingProtocolsE-businessGoods atomicityMoney atomicityStandards enforcementValid receipt

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• scientific article; zbMATH DE number 1927319
• Formal modeling and analysis of fairness characterization of E-commerce protocols
• scientific article; zbMATH DE number 1949598
• Fair exchange of valuable information: a generalised framework
• E-commerce of digital items and the problem of item validation: introducing the concept of reversible degradation

Cites work

• scientific article; zbMATH DE number 1122463 (Why is no real title available?)
• A fair-exchange \(e\)-commerce protocol with automated dispute resolution
• A method for obtaining digital signatures and public-key cryptosystems

Cited in

(5)

• Practical electronic auction scheme with strong anonymity and bidding privacy
• E-commerce of digital items and the problem of item validation: introducing the concept of reversible degradation
• Certificate-based verifiably encrypted signatures from pairings
• ACTLW -- an action-based computation tree logic with unless operator
• Attribute-based optimistic fair exchange: how to restrict brokers with policies

Describes a project that uses

Uses Software

• DAMLJessKB

This page was built for publication: Standards and verification for fair-exchange and atomicity in e-commerce transactions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2489255)