Analysis of E-commerce Protocol FONRP Based on ATL
Huanguo Zhang · Jisuanji gongcheng · 2008
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 protocol proposed 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-commerce protocols than traditional CTL.