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.

    Reference
    Related
    Cited by
Get Citation

吴志刚,方滨兴,胡铭曾,孙鹏.电子商务的安全和原子:模型、协议和验证.软件学报,2001,12(3):329-333

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:June 19,1999
  • Revised:March 15,2000
  • Adopted:
  • Online:
  • Published:
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.

Beijing Public Network Security No. 11040202500063