Modelling and Analyzing Cryprographic Protocols Using Petri Nets.

Benjamin B. Nieh, Stafford E. Tavares

Browse the full ASIACRYPT paper archive.