Security Analysis of Micali's Fair Contract Signing Protocol by Using Coloured Petri Nets. - Panupong Sornkhom; Yongyuth Permpoontanalarp (SNPD, 2008)

Security analysis of Micali's fair contract signing protocol by using Coloured Petri Nets : Multi-session case. - Panupong Sornkhom; Yongyuth Permpoontanalarp (IPDPS, 2009)

On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method. - Yongyuth Permpoontanalarp; Panupong Sornkhom (Fundam. Informaticae, 2014)