Modeling and Analysis of Multi-party Fair Exchange Protocols

被引：1
作者：
Wang Xueming [1 ]
Xiang, Li [1 ]
机构：
[1] Guizhou Univ, Inst Comp Sci, Guiyang 550025, Peoples R China
来源：
2007 INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-15 | 2007年
关键词：
protocol analysis; model-checking; multi-party fair exchange; fairness; ATL; MOCHA;
D O I：
10.1109/WICOM.2007.560
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
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.
引用
收藏
页码：2246 / 2250
页数：5
相关论文
共 15 条
  • [1] ALUR R, 1997, 38 ANN S FDN COMP SC
  • [2] Baum-Waidner B, 2001, LECT NOTES COMPUT SC, V2076, P898
  • [3] BAURNWAIDNER B, 2000, LECT NOTES COMPUTER, V1853, P524
  • [4] CHADHA R, 2001, 8 ACM C COMP COMM SE
  • [5] CHADHA R, 2003, LECT NOTES COMPUTER, V2761
  • [6] CHADHA R, 2004, WORKSH ISS IN PRESS
  • [7] Successive approximation of abstract transition relations
    Das, S
    Dill, DL
    [J]. 16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2001, : 51 - 58
  • [8] FENG B, 1999, DEXA 99 WORKSH EL CO
  • [9] GARAY JA, 1999, LECT NOTES COMPUTER, V1693
  • [10] González-Deleito N, 2002, LECT NOTES COMPUT SC, V2433, P200
12