Security Analysis of Micali's Fair Contract Signing Protocol by Using Coloured Petri Nets.

Panupong Sornkhom, Yongyuth Permpoontanalarp

Browse the full SNPD paper archive.