期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
SET协议中问题的分析及解决方案
被引量：
13
1
作者
陈庆锋
白硕
+2 位作者
王驹
张师超
隋立颖
《计算机学报》
EI
CSCD
北大核心
2000年第2期202-209,共8页
文中对 SET协议中的“k out of n”问题进行了全面的分析 ,并提出了完整的解决方案 .在对 SET付费业务流程中的两个关键性问题用 NDL逻辑进行验证后 ,给出了它们的 Prolog程序流程 .全文着重于在 SET协议中实现“防抵赖”和“可追踪”...
文中对 SET协议中的“k out of n”问题进行了全面的分析 ,并提出了完整的解决方案 .在对 SET付费业务流程中的两个关键性问题用 NDL逻辑进行验证后 ,给出了它们的 Prolog程序流程 .全文着重于在 SET协议中实现“防抵赖”和“可追踪”两种安全机制 ,并在此基础上实现用 Prolog语言程序模拟验证过程 .
展开更多
关键词
电子商务
信息安全
SET协议
计算机网络
在线阅读
下载PDF
职称材料
题名
SET协议中问题的分析及解决方案
被引量：
13
1
作者
陈庆锋
白硕
王驹
张师超
隋立颖
机构
国家智能
计算机
研究开发中心
广西师范大学数学与计算机科学学院桂林
中国
科学
院软件研究所
广西师范大学
数学
与计算机
科学
学院
出处
《计算机学报》
EI
CSCD
北大核心
2000年第2期202-209,共8页
基金
国家重点基础研究发展规划 (九七三 )!( G19980 3 0 60 0 )
八六三高技术研究发展计划的资助
文摘
文中对 SET协议中的“k out of n”问题进行了全面的分析 ,并提出了完整的解决方案 .在对 SET付费业务流程中的两个关键性问题用 NDL逻辑进行验证后 ,给出了它们的 Prolog程序流程 .全文着重于在 SET协议中实现“防抵赖”和“可追踪”两种安全机制 ,并在此基础上实现用 Prolog语言程序模拟验证过程 .
关键词
电子商务
信息安全
SET协议
计算机网络
Keywords
electronic commerce,accountability,traceable,information security
分类号
F716 [经济管理—产业经济]
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
SET协议中问题的分析及解决方案
陈庆锋
白硕
王驹
张师超
隋立颖
《计算机学报》
EI
CSCD
北大核心
2000
13
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
