A Formal Method for Analyzing Fair Ezchange Protocols
In the area of formal analyzing of security protocols, more and more attention has been given to analyzing properties of fair exchange protocols such as non-repudiation and fairness. On the basis of analyzing the limitations of existing methods, this paper presents a new method to analyze fairness and non-repudiation, in which PLTL are used to describe non-repudiation and fairness, and the model-check method is combined to analyze the properties. In this way, we can detect out one fairness flaw of fairZG protocol.
Fair Ezchange protocol Fairness Non-Repudiation Model-checking PLTL
Xu Wei Ma Yan Liu Nan Wu Dong-ying
Zhengzhou Institute of Information Science and Technology Zhengzhou, China
国际会议
2009 WASE International Conference on Information Engineering(2009年国际信息工程会议)(ICIE 2009)
太原
英文
776-779
2009-07-10（万方平台首次上网日期，不代表论文的发表时间）