Analysis of Fairness in Payment Protocols based on Timed Coloured Petri Nets

摘要：

Electronic payment protocol is a kind of important electronic commerce (e-commerce) protocol,and fairness is one of the desirable secure properties payment protocols should achieve,in which accountability is regarded as the precondition of fairness.A new approach based on Hierarchical Timed Coloured Petri Nets (HTCPN) for modelling and analyzing fairness in payment protocols is proposed in this paper.Firstly,a general dispute arbitration sub-model is introduced into the payment protocol primary model based on Coloured Petri Nets to analyze accountability in payment protocols.Then,a communication channel model with time element is designed by importing the channel delay and the dishonest parties’ actions into the constructed model,and the new model can be used to analyze the fairness in the payment protocols.Lastly,the proposed model is used to analyze the fairness in IBS protocol,which is a typical payment protocol.The analyzing results can prove the availability of the proposed model and approach.The proposed approach can also be used to analyze the fairness in other kinds of electronic commerce protocols.

关键词： payment protocol fairness accountability Petri Nets Coloured Petri Nets (CPN).

作者: Wen-qi Liu Hong Gu Jian-hua Yang

作者单位: School of Electronic and Information Engineering,Dalian University of Technology,Liaoning,China

会议类型: 国际会议

会议名称: International Conference on Modelling,Identification and Control(模拟、鉴定、控制国际会议)

会议地点: 上海

会议语种:英文

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