Modelling and Analyzing Cryprographic Protocols Using Petri Nets. - Benjamin B. Nieh; Stafford E. Tavares (AUSCRYPT, 1992)