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

Analysis of E-commerce Protocol FONRP Based on ATL

作　　者：张梅[1] 文静华[1] 张焕国[2] 

机构地区：[1]贵州财经学院信息学院,贵阳550004 [2]武汉大学计算机学院,武汉430079

出　　处：《计算机工程》2008年第3期151-153,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(40261009);贵州省科技基金资助项目(2005-2111)

摘　　要：研究ATL逻辑及其在电子商务协议形式化分析中的应用,对Kremer提出的方法进行扩展,使之在考虑公平等特性的同时能够分析协议的安全性。用该方法对周明天等人提出的FNORP协议及其变种进行了严格的形式化分析,结果表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析复杂电子商务协议。This paper studies ATL logical and its applications in formal analysis of E-commerce protocols, and extends Dr Kremer＇s approach to analyze security of protocols besides fairness. Strict formal analysis is made for FNORP protocolproposed by Zhou Mingtian etc. and is variations with this new method. The results indicate that the ATL logic based on game is more suitable to describe and analyze complex E-comroerce protocols than traditional CTL.

关 键 词：电子商务协议 公平性 安全性 形式化分析 ATL逻辑 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]