Gang-Soo Lee;Jin-Seok Lee
-;-
Attack trace generation of cryptographic protocols based on coloured Petri nets model
International Journal of Wireless and Mobile Computing