ATL逻辑相关论文
研究ATL逻辑及其在电子商务协议形式化分析中的应用，用ATL逻辑语言对KM协议进行描述与分析，并对协议的各参与方和可信第三方TTP的基......
研究ATL逻辑及其在电子商务协议形式化分析中的应用，对Kremer提出的方法进行扩展，使之在考虑公平等特性的同时能够分析协议的安全性......
