On-the-Fly Trace Generation Approach to the Security Analysis of the TMN Protocol with Homomorphic Property: A Petri Nets-Based Method. - Yongyuth Permpoontanalarp; Apichai Changkhanak (IEICE Trans. Inf. Syst., 2012)