LTL and CTL regard protocols as close subsequent system to research,so it can’t describe the relation between protocols and outer environment effectively. A new ATL analysis method based on game logic was inducted,and it can model and analyze Multi-electronic commerce protocol. Then the new method was used to analysis Multi non-denying protocol put forward by Markowitch and Kremer,and the result indicates that this protocol can not satisfy fairness,finally the improved method was put forward.
| 
推荐 
点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。
