Security and Atomicity in Electronic Commerce:Model,Protocoland Verification
DOI:
Author:
Affiliation:
Clc Number:
Fund Project:
Article
|
Figures
|
Metrics
|
Reference
|
Related
|
Cited by
|
Materials
|
Comments
Abstract:
Popularization and acceptance of electronic commerce mainly depend on the following properties:security,atomicity,privacy and anonymity.There are no electronic commerce protocols appropriate forelectron-ic transactions ofphysicalgoods in which three properties are needed:security,atomicity and privacy.An elec-tronic commerce modelis suggested in this paper.The modelis named ELCwhich simulates L/Cin internationaltrade.Then a secure and atomic electronic commerce protocolis proposed.Finally the protocolis analyzed foritsstrength and correctness by proving the desired properties using BAN style logic in the presence of an intruder.
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.