| SET协议中问题的分析及解决方案 |
| 其他题名 | the problem analysis of set protocol and its resolution
|
| 陈庆锋; 白硕; 王驹; 张师超; 隋立颖
|
| 2000
|
| 发表期刊 | 计算机学报
 |
| ISSN | 0254-4164
|
| 卷号 | 23期号:2页码:202-209 |
| 摘要 | 文中对SET协议中的"k out of n"问题进行了全面的分析,并提出了完整的解决方案.在对SET付费业务流程中的两个关键性问题用NDL逻辑进行验证后,给出了它们的Prolog程序流程.全文着重于在SET协议中实现"防抵赖"和"可追踪"两种安全机制,并在此基础上实现用Prolog语言程序模拟验证过程.最后对电子商务的发展和今后将要做的工作做了一些初步的探讨. |
| 收录类别 | wanfang
|
| 关键词 | 电子商务
防抵赖
可追踪
信息安全
协议
解决方案
Set Protocol
关键性问题
业务流程
验证过程
电子商务
程序模拟
程序流程
安全机制
可追踪
防抵赖
语言
逻辑
基础
付费
|
| 部门归属 | 国家智能计算机研究开发中心,北京,100080;广西师范大学数学与计算机科学学院,桂林,541004;国家智能计算机研究开发中心,北京,100080;中国科学院软件研究所,北京,100080;广西师范大学数学与计算机科学学院,桂林,541004;国家智能计算机研究开发中心,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13622
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
陈庆锋,白硕,王驹,等. SET协议中问题的分析及解决方案[J]. 计算机学报,2000,23(2):202-209.
|
| APA |
陈庆锋,白硕,王驹,张师超,&隋立颖.(2000).SET协议中问题的分析及解决方案.计算机学报,23(2),202-209.
|
| MLA |
陈庆锋,et al."SET协议中问题的分析及解决方案".计算机学报 23.2(2000):202-209.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论