For the most recent entries see the Petri Nets Newsletter.

Specification and analysis of n-way key recovery system by extended cryptographic timed Petri net.

Lim, Shin-Young; Ko, Jeong-Ho; Jun, Eun-Ah; Lee, Gang-Soo

In: Journal of Systems and Software, Volume 58, Issue 2, pages 93-106. Elsevier Science Inc, September 2001.

Keywords: Petri net modeling; cryptography; key encapsulation; key recovery system; security.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography