|
|||||
|
|
| SET协议中问题的分析及解决方案 | |
| 引用本文： | 陈庆锋,白硕,王驹,张师超,隋立颖.SET协议中问题的分析及解决方案[J].计算机学报,2000,23(2):202-209. |
| 作者姓名： | 陈庆锋 白硕 王驹 张师超 隋立颖 |
| 作者单位： | 1. 国家智能计算机研究开发中心,北京,100080;广西师范大学数学与计算机科学学院,桂林,541004 2. 国家智能计算机研究开发中心,北京,100080 3. 中国科学院软件研究所,北京,100080 4. 广西师范大学数学与计算机科学学院,桂林,541004 |
| 基金项目： | 国家重点基础研究发展规划 (九七三 )!( G19980 3 0 60 0 )，八六三高技术研究发展计划的资助 |
| 摘 要： | 文中对ＳＥＴ协议中的“ｋ ｏｕｔ ｏｆ ｎ”问题进行了全面的分析，并提出了完整的解决方案，在对ＳＥＴ付费业务流程中的两个关键性问题用ＮＤＬ逻辑进行验证后，给出了它们的Ｐｒｏｌｇｏ程序流程，全文着重于在ＳＥＴ协议中实现“防抵赖”和“可迫踪”两种安全机制，并在此基础上实现用Ｐｒｏｌｏｇ语言程序模拟验证过程，最后对电子商务的发展和今后将要做的工作做了一些初步的探讨。 |
| 关 键 词： | 电子商务 信息安全 SET协议 计算机网络 |
The Problem Analysis of SET Protocol and Its Resolution |
|
| CHEN Qing-Feng,BAI Shuo,WANG Ju,ZHANG Shi-Chao,SUI Li-Ying.The Problem Analysis of SET Protocol and Its Resolution[J].Chinese Journal of Computers,2000,23(2):202-209. | |
| Authors: | CHEN Qing-Feng BAI Shuo WANG Ju ZHANG Shi-Chao SUI Li-Ying |
| Abstract: | |
| Keywords: | electronic commerce accountability traceable information security |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |