Yongyuth Permpoontanalarp, Apichai Changkhanak. On-the-Fly Trace Generation Approach to the Security Analysis of the TMN Protocol with Homomorphic Property: A Petri Nets-Based Method. IEICE Transactions, 95-D(1):215-229, 2012. [doi]
Abstract is missing.