Analysis of Non-repudiation Protocols KM Based on ATL
Shigong Long · Journal of Guizhou University · 2011
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.