| 摘要: |
| 电子商务的流行与接受主要取决于下述属性：安全、原子、隐私与匿名．对于需要安全、原子和隐私等3个属性的物理商品的电子交易还没有合适的电子商务协议．基于此，提出了一个称为ELC的电子商务模型，ELC模型模拟了国际贸易中的电子信用证．然后提出了一个安全、原子的电子商务协议．最后，在有一个入侵者的情况下，通过使用BAN风格的逻辑证明所期望的属性分析了协议的强度和正确性 |
| 关键词: 电子商务 安全 原子 隐私 验证 |
| DOI： |
| 分类号: |
| 基金项目:This project is supported by the National NaturalScience Foundation of China under Grant No．69773040（国家自然科学基金） |
|
| Security and Atomicity in Electronic Commerce：Model，Protocoland Verification |
|
WU Zhi－gang,FANG Bin－xing,HU Ming－zeng,SUN Peng
|
| 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． |
| Key words: electronic commerce security atomicity privacy verification |
