10.3969/j.issn.1000-3428.2008.03.053
基于ATL方法的电子商务协议FONRP分析
研究ATL逻辑及其在电子商务协议形式化分析中的应用,对Kremer提出的方法进行扩展,使之在考虑公平等特性的同时能够分析协议的安全性.用该方法对周明天等人提出的FNORP协议及其变种进行了严格的形式化分析,结果表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析复杂电子商务协议.
电子商务协议、公平性、安全性、形式化分析、ATL逻辑
34
TP309(计算技术、计算机技术)
国家自然科学基金40261009;贵州省科学技术基金2005-2111
2008-04-15(万方平台首次上网日期,不代表论文的发表时间)
共3页
151-153