电子支付协议的博弈逻辑模型与形式化分析

• 作者: 张梅 张焕国 文静华
• 来源期刊: 微电子学与计算机
• 关键词: 电子支付协议 公平性 形式化分析 ATL
• 年，卷（期）: 2007,（9）
• 页码范围: 113-115
• 页数: 3页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2007.09.033

摘要

提出用一种新的基于博弈逻辑ATL(Alternating-time Temporal Logic)的电子支付协议建模与分析方法.新方法克服了传统时序逻辑把协议看成封闭系统进行分析的缺点,可以成功地对电子商务中的对抗与合作行为进行描述.利用新方法对Bolignano协议进行了严格的形式化分析,发现该协议不能满足公平性要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张焕国	武汉大学计算机学院	244	4083	31.0	56.0
2	文静华	贵州财经学院信息学院	58	334	10.0	15.0
4	张梅	贵州财经学院信息学院	43	257	9.0	14.0