| 一个安全、原子的电子商务协议及其形式化验证 |
| |
| 引用本文： | 吴志刚,方滨兴,孙鹏,李亚萍.一个安全、原子的电子商务协议及其形式化验证[J].计算机研究与发展,2000,37(7):869-873. |
| |
| 作者姓名： | 吴志刚 方滨兴 孙鹏 李亚萍 |
| |
| 作者单位： | 哈尔滨工业大学计算机科学与工程系,哈尔滨,150001 |
| |
| 摘 要： | 电子商务的普及与接受主要取决于下述属性的解决：安全、原子、隐私与匿名，形式化描述和分析是描述电子商务协议并验证它各性的有效方法，面向物理商品交易的电子商务协议需要具备３个属性：安全、原子和隐私，介绍了一个安全、可靠的电子商务协议ＢＥＡＲＣＡＴ及其形式化描述，并龙有人侵者的情况下，通过用ＢＡＮ类型的逻辑证明所期望的属性的方式对协议的强度和正确性作形式化分析。
|
| 关 键 词： | 电子商务协议 商品交易 计算机网络 形式化验证 |
A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION |
| |
| WU Zhi-Gang,FANG Bin-Xing,SUN Peng,LI Ya-Ping.A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION[J].Journal of Computer Research and Development,2000,37(7):869-873. |
| |
| Authors: | WU Zhi-Gang FANG Bin-Xing SUN Peng LI Ya-Ping |
| |
| Abstract: | |
| |
| Keywords: | electronic commerce atomicity security privacy |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
