ISCAS OpenIR
SET协议中问题的分析及解决方案
Alternative Titlethe problem analysis of set protocol and its resolution
陈庆锋; 白硕; 王驹; 张师超; 隋立颖
2000
Source计算机学报
ISSN0254-4164
Volume23Issue:2Pages:202-209
English Abstract文中对SET协议中的"k out of n"问题进行了全面的分析,并提出了完整的解决方案.在对SET付费业务流程中的两个关键性问题用NDL逻辑进行验证后,给出了它们的Prolog程序流程.全文着重于在SET协议中实现"防抵赖"和"可追踪"两种安全机制,并在此基础上实现用Prolog语言程序模拟验证过程.最后对电子商务的发展和今后将要做的工作做了一些初步的探讨.
Indexed Typewanfang
Keyword电子商务 防抵赖 可追踪 信息安全 协议 解决方案 Set Protocol 关键性问题 业务流程 验证过程 电子商务 程序模拟 程序流程 安全机制 可追踪 防抵赖 语言 逻辑 基础 付费
Department国家智能计算机研究开发中心,北京,100080;广西师范大学数学与计算机科学学院,桂林,541004;国家智能计算机研究开发中心,北京,100080;中国科学院软件研究所,北京,100080;广西师范大学数学与计算机科学学院,桂林,541004;国家智能计算机研究开发中心,北京,100080
Language中文
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/13622
Collection中国科学院软件研究所
Recommended Citation
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.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[陈庆锋]'s Articles
[白硕]'s Articles
[王驹]'s Articles
Baidu academic
Similar articles in Baidu academic
[陈庆锋]'s Articles
[白硕]'s Articles
[王驹]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[陈庆锋]'s Articles
[白硕]'s Articles
[王驹]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.