基于ATL的KM非否认协议形式化分析  

Analysis of Non-repudiation Protocols KM Based on ATL

作　　者：田顺仙[1] 龙士工[1] 

机构地区：[1]贵州大学理学院,贵州贵阳550025

出　　处：《贵州大学学报（自然科学版）》2011年第5期84-86,103,共4页Journal of Guizhou University:Natural Sciences

基　　金：贵州省科学技术基金(黔科合J字[2008]2117)

摘　　要：研究ATL逻辑及其在电子商务协议形式化分析中的应用,用ATL逻辑语言对KM协议进行描述与分析,并对协议的各参与方和可信第三方TTP的基本行为进行建模。This paper studied ATL logic and its applications in formal analysis E-commerce protocols, described and analyzed the KM protocol with ATL logic language, modeling the basic behavior of all the participants and the trusted third party.

关 键 词：非否认协议 公平性 形式化分析 ATL逻辑 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]