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]
No references recorded for this publication.
No citations of this publication recorded.