搜索结果: 1-2 共查到“计算机科学技术 ATL”相关记录2条 . 查询时间(0.09 秒)
基于ATL方法的电子商务协议FONRP分析
电子商务协议 公平性 安全性 形式化分析
2009/4/28
研究ATL逻辑及其在电子商务协议形式化分析中的应用，对Kremer提出的方法进行扩展，使之在考虑公平等特性的同时能够分析协议的安全性。用该方法对周明天等人提出的FNORP协议及其变种进行了严格的形式化分析，结果表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析复杂电子商务协议。