Modeling and Analysis of Multi-party Fair Exchange Protocols

摘要：

Fair multi-party exchange protocol is a new focus of research. We have made some researches for the modeling and analysis of multi-party fair exchange protocols recently. We use alternating transition systems, a game based model, to model protocols and alternating temporal logic, a game based logic, to express requirements that the protocols must ensure. This method is automated by using the model-checker MOCHA, a model-checker that supports the alternating transition systems and the alternating temporal logic. Fairness of multi-party exchange protocols are analyzed by using MOCHA.

关键词： protocol analysis model-checking multi-party fair exchange fairness ATL MOCHA

作者: Wang Xueming Li Xiang

作者单位: Institute of Computer Science, Guizhou University Guiyang 550025, China

会议类型: 国际会议

会议名称: 第三届IEEE无线通讯、网络技术暨移动计算国际会议

会议地点: 上海

会议语种:英文

在线出版日期: 2007-09-21（万方平台首次上网日期，不代表论文的发表时间）