题名: SET协议中问题的分析及解决方案
其他题名: the problem analysis of set protocol and its resolution
作者: 陈庆锋
; 白硕
; 王驹
; 张师超
; 隋立颖
关键词: 电子商务
; 防抵赖
; 可追踪
; 信息安全
; 协议
; 解决方案
; SET Protocol
; 关键性问题
; 业务流程
; 验证过程
; 电子商务
; 程序模拟
; 程序流程
; 安全机制
; 可追踪
; 防抵赖
; 语言
; 逻辑
; 基础
; 付费
刊名: 计算机学报
发表日期: 2000
卷: 23, 期: 2, 页: 202-209 收录类别: wanfang
部门归属: 国家智能计算机研究开发中心,北京,100080;广西师范大学数学与计算机科学学院,桂林,541004;国家智能计算机研究开发中心,北京,100080;中国科学院软件研究所,北京,100080;广西师范大学数学与计算机科学学院,桂林,541004;国家智能计算机研究开发中心,北京,100080
摘要: 文中对SET协议中的"k out of n"问题进行了全面的分析,并提出了完整的解决方案.在对SET付费业务流程中的两个关键性问题用NDL逻辑进行验证后,给出了它们的Prolog程序流程.全文着重于在SET协议中实现"防抵赖"和"可追踪"两种安全机制,并在此基础上实现用Prolog语言程序模拟验证过程.最后对电子商务的发展和今后将要做的工作做了一些初步的探讨. 语种: 中文
内容类型: 期刊论文
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.
