|
|||||
|
|
| 基于ATL的电子商务协议建模与形式化分析 | |
| 引用本文： | 张梅,文静华,张焕国. 基于ATL的电子商务协议建模与形式化分析[J]. 微电子学与计算机, 2009, 26(8) |
| 作者姓名： | 张梅 文静华 张焕国 |
| 作者单位： | 1. 贵州财经学院,信息学院,贵州,贵阳,550004 2. 贵州财经学院,信息学院,贵州,贵阳,550004;武汉大学,计算机学院,湖北,武汉,430072 3. 武汉大学,计算机学院,湖北,武汉,430072 |
| 基金项目： | 国家自然科学基金项目，贵阳市科学技术发展基金项目 |
| 摘 要： | LTL和CTL等由于把协议看成封闭式并发系统进行研究,不能有效描述协议与外部环境的联系,引入一种新的基于博弈逻辑的ATL分析方法,能够对日益复杂的多方电子商务协议进行建模与分析,利用新方法对Markowitch和Kremer提出的多方非否认协议进行建模与严格的形式化分析,发现该协议存在的不公平性问题并提出改进方法. |
| 关 键 词： | ATL逻辑 形式化分析 公平性 多方电子商务协议 |
Modeling and Formal Analysis of E-Commerce Protocol with ATL |
|
| ZHANG Mei,WEN Jing-hua,ZHANG Huan-guo. Modeling and Formal Analysis of E-Commerce Protocol with ATL[J]. Microelectronics & Computer, 2009, 26(8) | |
| Authors: | ZHANG Mei WEN Jing-hua ZHANG Huan-guo |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |