Standards and verification for fair-exchange and atomicity in e-commerce transactions
From MaRDI portal
Publication:2489255
DOI10.1016/j.ins.2005.01.016zbMath1092.68527WikidataQ58376256 ScholiaQ58376256MaRDI QIDQ2489255
Scott L. Summers, Bonnie Brinton Anderson, Paul Benjamin Lowry, James V. Hansen
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
E-commerce; Model checking; Protocols; E-business; Goods atomicity; Money atomicity; Standards enforcement; Valid receipt
68M12: Network protocols
Related Items
Practical electronic auction scheme with strong anonymity and bidding privacy, Certificate-based verifiably encrypted signatures from pairings, Attribute-based optimistic fair exchange: how to restrict brokers with policies, ACTLW -- an action-based computation tree logic with unless operator
Uses Software
Cites Work