Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
