文献类型：期刊文章

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

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

出　　处：《软件学报》

基　　金：国家 8 6 3高科技项目基金! (No.86 3- 30 6 - ZD- 10 - 0 2 )资助

年　　份：2000

卷　　号：11

期　　号：2

起止页码：240-250

语　　种：中文

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

摘　　要：该文介绍了 SET(secure electronic transactions)的付费业务流程 ,对 NDL (non- monotomic dynamiclogic)的逻辑框架进行了扩展 ,即针对 SET协议 ,增加了新的公理 ,重新给出积累规则的定义 .在此基础上 ,用对 SET中的几个重要的范例进行的逻辑验证 ,说明了 NDL在验证电子商务协议上的重要性 ,并初步提出了积累规则中需要进一步研究的问题 .

关 键 词：信息安全 逻辑验证 电子商务 安全协议

分 类 号：F716] TP309]