中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
SET协议中问题的分析及解决方案

文献类型:期刊论文

作者陈庆锋 ; 白硕 ; 王驹 ; 张师超 ; 隋立颖
刊名计算机学报
出版日期2000
卷号23期号:2页码:202-209
关键词电子商务 防抵赖 可追踪 信息安全 协议 解决方案 SET Protocol 关键性问题 业务流程 验证过程 电子商务 程序模拟 程序流程 安全机制 可追踪 防抵赖 语言 逻辑 基础 付费
ISSN号0254-4164
其他题名the problem analysis of set protocol and its resolution
中文摘要文中对SET协议中的"k out of n"问题进行了全面的分析,并提出了完整的解决方案.在对SET付费业务流程中的两个关键性问题用NDL逻辑进行验证后,给出了它们的Prolog程序流程.全文着重于在SET协议中实现"防抵赖"和"可追踪"两种安全机制,并在此基础上实现用Prolog语言程序模拟验证过程.最后对电子商务的发展和今后将要做的工作做了一些初步的探讨.
收录类别wanfang
语种中文
公开日期2011-07-29
源URL[http://124.16.136.157/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.

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。