电子商务安全协议的逻辑验证

• 作者: 张师超 王驹 白硕 陈庆锋 隋立颖
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 信息安全 逻辑验证 防抵赖性 可追踪性
• 年，卷（期）: 2000,（3）
• 页码范围: 346-362
• 页数: 17页
• 分类号: TP309
• 字数: 6681字
• 语种: 中文

摘要

作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在的问题进行了初步探讨.该文在此基础上,对SET的整个业务流程进行了严格的逻辑验证,通过形式化逻辑方法的验证,发现了SET协议中存在的一些问题,并对如何解决这些问题进行了初步的探讨.

作者信息

序号	姓名	单位	发文数	被引次数	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