Login / Signup
An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets.
Jin Wei
Guiping Su
Meng Xu
Published in:
HASE (2008)
Keyphrases
</>
probabilistic model
colored petri nets
knn
petri net
formal model