浏览全部资源
扫码关注微信
1. 贵州财经学院信息学院
2. 贵州大学计算机软件与理论研究所
纸质出版日期:2006
移动端阅览
[1]文静华,张梅,李祥.基于博弈的电子商务协议分析[J].通信学报,2006(03):73-78.
[1]文静华,张梅,李祥.基于博弈的电子商务协议分析[J].通信学报,2006(03):73-78. DOI:
DOI:
提出用一种新的基于博弈的逻辑方法分析电子商务协议
克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述
能够分析协议的保密性、安全性、非否认性及公平性等。最后用新方法对Zhou-Gollmann协议进行了严格的形式化分析。结果表明基于博弈的ATL逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议。
0
浏览量
307
下载量
4
CSCD
关联资源
相关文章
相关作者
相关机构