Abstract:
In this paper, we present a systematic method to analyze the security of Micalipsilas fair contract signing protocol by using coloured Petri nets (CPN). By using CPN, we ...Show MoreMetadata
Abstract:
In this paper, we present a systematic method to analyze the security of Micalipsilas 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 Baopsilas improved version of the protocol is secure against known message replay attacks on Micalipsilas protocol and our new attacks.
Date of Conference: 06-08 August 2008
Date Added to IEEE Xplore: 03 September 2008
Print ISBN:978-0-7695-3263-9