Login / Signup

An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets.

Jin WeiGuiping SuMeng Xu
Published in: HASE (2008)
Keyphrases
  • probabilistic model
  • colored petri nets
  • knn
  • petri net
  • formal model