基于博弈的电子商务协议分析

• 作者: 张梅 文静华 李祥
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 电子商务协议 安全性 公平性 ATL
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 学术论文
• 页码范围: 73-78
• 页数: 6页
• 分类号: TP309
• 字数: 4903字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2006.03.011

摘要

提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点.新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性等.最后用新方法对Zhou-Gollmann协议进行了严格的形式化分析.结果表明基于博弈的ATL逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李祥	贵州大学计算机软件与理论研究所	91	551	13.0	19.0
2	文静华	贵州财经学院信息学院	58	334	10.0	15.0
6	张梅	贵州财经学院信息学院	43	257	9.0	14.0