文献类型：期刊文章

作　　者：陈庆锋[1,2] 白硕[1] 王驹[3] 张师超[4] 隋立颖[1]

机构地区：[1]国家智能计算机研究开发中心 [2]广西师范大学数学与计算机科学学院桂林541004 [3]中国科学院软件研究所 [4]广西师范大学数学与计算机科学学院

出　　处：《计算机学报》

基　　金：国家重点基础研究发展规划 (九七三 )!( G19980 3 0 60 0 );八六三高技术研究发展计划的资助

年　　份：2000

卷　　号：23

期　　号：2

起止页码：202-209

语　　种：中文

收录情况：BDHX、BDHX1996、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

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

关 键 词：电子商务 信息安全 SET协议 计算机网络

分 类 号：F716] TP393]