An extended compositional analysis of Contract Signing Protocol

There are some goals of Contract Signing Protocol: confidentiality, non-repudiation and fairness, etc. This paper introduced the compositional analysis and pointed out the limitation that the method is lack of ability in analysis fairness. Backes extended compositional analysis, but this improvement can´t used in analysis strong fairness. In this paper, we proposed the concept of predecessor message and extended compositional analysis method to analyze strong fairness in Contract Signing Protocol. Using this extension version, we formally analyzed the fairness of a typical electronic contract signing protocol (ECS2), the result proved the fact that this extension version can effectively working on validating the fairness of electronic contract signing protocols.