|
|||||
|
|
| 电子商务的安全和原子：模型、协议和验证 | |
| 作者姓名： | 吴志刚 方滨兴 胡铭曾 孙鹏 |
| 作者单位： | 哈尔滨工业大学计算机科学与工程系, |
| 基金项目： | This project is supported by the National NaturalScience Foundation of China under Grant No．69773040（国家自然科学基金） |
| 摘 要： | 电子商务的流行与接受主要取决于下述属性：安全、原子、隐私与匿名．对于需要安全、原子和隐私等3个属性的物理商品的电子交易还没有合适的电子商务协议．基于此,提出了一个称为ELC的电子商务模型,ELC模型模拟了国际贸易中的电子信用证．然后提出了一个安全、原子的电子商务协议．最后,在有一个入侵者的情况下,通过使用BAN风格的逻辑证明所期望的属性分析了协议的强度和正确性 |
| 关 键 词： | 电子商务 安全 原子 隐私 验证 |
| 收稿时间： | 1999-06-19 |
| 修稿时间： | 1999-06-19 |
| 本文献已被 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载免费的PDF全文 | |