Specification of timed authentication protocols with colored Petri nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Gizela Jakubowska' in GoogleThis author has not been identified. Look up 'Marian Srebrny' in Google

runs on WebDSL