一种分析电子商务协议的新工具

• 作者: 卿斯汉 周典萃 周展飞
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 可追究性 电子商务 公平性 逻辑分析 协议
• 年，卷（期）: 2001,（9）
• 页码范围: 1318-1328
• 页数: 11页
• 分类号: TP309
• 字数: 7400字
• 语种: 中文

摘要

提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1) 能够有效地分析协议的公平性,在进行公平性分析时充分考虑了通信信道的可靠性;(2) 初始化拥有集合只依赖于环境,不需要人为地引入初始化假设;(3) 增加了密文理解规则,能够有效地分析包含有签过名的加密公式的消息.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卿斯汉	中国科学院软件研究所	145	4238	29.0	62.0
2	周典萃	中国科学院软件研究所	2	194	2.0	2.0
3	周展飞	中国科学院软件研究所	9	291	4.0	9.0