电子商务安全协议及其非单调动态逻辑验证

• 作者: 张师超 王驹 白硕 陈庆锋 隋立颖
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 信息安全 逻辑验证 电子商务 注册 付费
• 年，卷（期）: 2000,（2）
• 页码范围: 240-250
• 页数: 11页
• 分类号: TP309
• 字数: 9597字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张师超	广西师范大学数学与计算机科学系	50	981	14.0	30.0
2	王驹	中国科学院软件研究所	5	103	3.0	5.0
3	白硕		6	197	5.0	6.0
4	陈庆锋		4	161	4.0	4.0
8	隋立颖		4	161	4.0	4.0