Title: SET协议中问题的分析及解决方案
Alternative Title: the problem analysis of set protocol and its resolution
Author: 陈庆锋
; 白硕
; 王驹
; 张师超
; 隋立颖
Keyword: 电子商务
; 防抵赖
; 可追踪
; 信息安全
; 协议
; 解决方案
; SET Protocol
; 关键性问题
; 业务流程
; 验证过程
; 电子商务
; 程序模拟
; 程序流程
; 安全机制
; 可追踪
; 防抵赖
; 语言
; 逻辑
; 基础
; 付费
Source: 计算机学报
Issued Date: 2000
Volume: 23, Issue: 2, Pages: 202-209 Indexed Type: wanfang
Department: 国家智能计算机研究开发中心,北京,100080;广西师范大学数学与计算机科学学院,桂林,541004;国家智能计算机研究开发中心,北京,100080;中国科学院软件研究所,北京,100080;广西师范大学数学与计算机科学学院,桂林,541004;国家智能计算机研究开发中心,北京,100080
Abstract: 文中对SET协议中的"k out of n"问题进行了全面的分析,并提出了完整的解决方案.在对SET付费业务流程中的两个关键性问题用NDL逻辑进行验证后,给出了它们的Prolog程序流程.全文着重于在SET协议中实现"防抵赖"和"可追踪"两种安全机制,并在此基础上实现用Prolog语言程序模拟验证过程.最后对电子商务的发展和今后将要做的工作做了一些初步的探讨.
Language: 中文
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/13622
Appears in Collections: 软件所图书馆_期刊论文
There are no files associated with this item.
Recommended Citation:
陈庆锋,白硕,王驹,等. SET协议中问题的分析及解决方案[J]. 计算机学报,2000-01-01,23(2):202-209.