Login / Signup
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
Published in:
IEICE Trans. Inf. Syst. (2012)
Keyphrases
</>
petri net
security analysis
petri net model
authentication protocol
artificial intelligence
web services
high dimensional
public key
encryption scheme