基于ATL方法的电子商务协议FONRP分析

• 作者: 张梅 张焕国 文静华
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 电子商务协议 公平性 安全性 形式化分析 ATL逻辑
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 安全技术
• 页码范围: 151-153
• 页数: 3页
• 分类号: TP309
• 字数: 3311字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.03.053

摘要

研究ATL逻辑及其在电子商务协议形式化分析中的应用,对Kremer提出的方法进行扩展,使之在考虑公平等特性的同时能够分析协议的安全性.用该方法对周明天等人提出的FNORP协议及其变种进行了严格的形式化分析,结果表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析复杂电子商务协议.

作者信息

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