基于博弈的电子商务协议分析

摘要：

提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点.新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性等.最后用新方法对Zhou-Gollmann协议进行了严格的形式化分析.结果表明基于博弈的ATL逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议.

关键词：电子商务协议、安全性、公平性、ATL

所属期刊栏目：27

分类号：TP309(计算技术、计算机技术)

资助基金：贵州省科研项目20052111;贵州省教育厅自然科学基金2004219

在线出版日期：2006-04-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：73-78