Gizela Jakubowska, Marian Srebrny. Specification of timed authentication protocols with colored Petri nets. In Jerzy Soldek, Jerzy Pejas, editors, Advanced Computer Systems, Eighth International Conference, ACS 2001, Mielno, Poland, October 17-19, 2001 Proceedings. pages 383-392, Springer, 2001. [doi]
Abstract is missing.