FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
International Journal of Business Intelligence and Data Mining
Hi-index | 0.00 |
In this paper, we present a systematic method to analyze the security of Micali’s fair contract signing protocol by using Coloured Petri Nets (CPN). By using CPN, we found two new attacks in the protocol. Also, we show that Bao’s improved version of the protocol is secure against known message replay attacks on Micali’s protocol and our new attacks.