SET协议中问题的分析及解决方案

被引：13

作者：

陈庆锋

白硕

王驹

张师超

隋立颖

机构：

[1] 国家智能计算机研究开发中心!北京)

[2] 广西师范大学数学与计算机科学学院桂林

[3] 中国科学院软件研究所!北京

[4] 广西师范大学数学与计算机科学学院!桂林

来源：

计算机学报 | 2000年 / 02期

关键词：

电子商务; 防抵赖; 可追踪; 信息安全;

D O I：

暂无

中图分类号：

TN915.04 [通信规程、通信协议];

学科分类号：

摘要：

文中对 SET协议中的“k out of n”问题进行了全面的分析 ,并提出了完整的解决方案 .在对 SET付费业务流程中的两个关键性问题用 NDL逻辑进行验证后 ,给出了它们的 Prolog程序流程 .全文着重于在 SET协议中实现“防抵赖”和“可追踪”两种安全机制 ,并在此基础上实现用 Prolog语言程序模拟验证过程 .最后对电子商务的发展和今后将要做的工作做了一些初步的探讨

引用

页码：202 / 209

页数：8