Formal Analysis and Improvement of iKP Protocol
Accountability and fairness are two important requirements of secure E-payment protocols, which can provide evidences to solving disputes in E-commerce and keep sure that each participant in protocol achieves fairness in an unreliable channel. Therefore logic formal analysis in these two aspects has become very important In this paper, we have formally analyzed iKP protocol by extended Kailar logic and have found that iKP do not satisfy these two requirements, then, we proposed an improved protocol. The new protocol we present is capable to support goods and services delivery as well as payment, which the original iKP do not take care of goods and services delivery. By referring to a formal semantics of extended Kailar logic we can prove that the new protocol can achieve fairness and accountability through appropriate modifications.
iKP formal analysis kailar logic accountability fairness
Hong Wang Liwei Dong Ying Huang Bo Chen
Department of E-commmerce Shenyang Normal University Software College Shenyang, China JiangXi Branch China United Network Telecommunication Corporation JiangXi,China Department of Computer Application ZheJiang Vocational College of Commerce ZheJiang, China
国际会议
南昌
英文
465-468
2009-09-01（万方平台首次上网日期，不代表论文的发表时间）