基于ATL的电子商务协议建模与形式化分析

• 作者: 张梅 张焕国 文静华
• 来源期刊: 微电子学与计算机
• 关键词: ATL逻辑 形式化分析 公平性 多方电子商务协议
• 年，卷（期）: 2009,（8）
• 页码范围: 193-195,200
• 页数: 4页
• 分类号: TP309
• 语种: 中文

摘要

LTL和CTL等由于把协议看成封闭式并发系统进行研究,不能有效描述协议与外部环境的联系,引入一种新的基于博弈逻辑的ATL分析方法,能够对日益复杂的多方电子商务协议进行建模与分析,利用新方法对Markowitch和Kremer提出的多方非否认协议进行建模与严格的形式化分析,发现该协议存在的不公平性问题并提出改进方法.

作者信息

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