Specification and analysis of n-way key recovery system by Extended Cryptographic Timed Petri Net.

Shin-Young Lim Jeong-Ho Ko Eun-Ah Jun Gang-Soo Lee Specification and analysis of n-way key recovery system by Extended Cryptographic Timed Petri Net. 93-106 2001 58 Journal of Systems and Software 2 http://dx.doi.org/10.1016/S0164-1212(01)00030-9 db/journals/jss/jss58.html#LimKJL01