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

摘要：

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

关键词：电子商务、防抵赖、可追踪、信息安全

所属期刊栏目：23

分类号：TP309(计算技术、计算机技术)

资助基金：科技部科研项目G1998030600;新材料领域项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：202-209