###
DOI:
Journal of Software:2001.12(3):329-333

电子商务的安全和原子:模型、协议和验证
吴志刚,方滨兴,胡铭曾,孙鹏
(哈尔滨工业大学计算机科学与工程系,黑龙江哈尔滨 150001)
Security and Atomicity in Electronic Commerce:Model,Protocoland Verification
WU Zhi-gang,FANG Bin-xing,HU Ming-zeng,SUN Peng
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2248   Download 3040
Received:June 19, 1999    Revised:March 15, 2000
> 中文摘要: 电子商务的流行与接受主要取决于下述属性:安全、原子、隐私与匿名.对于需要安全、原子和隐私等3个属性的物理商品的电子交易还没有合适的电子商务协议.基于此,提出了一个称为ELC的电子商务模型,ELC模型模拟了国际贸易中的电子信用证.然后提出了一个安全、原子的电子商务协议.最后,在有一个入侵者的情况下,通过使用BAN风格的逻辑证明所期望的属性分析了协议的强度和正确性
中文关键词: 电子商务  安全  原子  隐私  验证
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.
文章编号:     中图分类号:    文献标志码:
基金项目:This project is supported by the National NaturalScience Foundation of China under Grant No.69773040(国家自然科学基金) This project is supported by the National NaturalScience Foundation of China under Grant No.69773040(国家自然科学基金)
Foundation items:
Reference text:

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

WU Zhi-gang,FANG Bin-xing,HU Ming-zeng,SUN Peng.Security and Atomicity in Electronic Commerce:Model,Protocoland Verification.Journal of Software,2001,12(3):329-333