Login / Signup

Attack trace generation of cryptographic protocols based on coloured Petri nets model.

Yunli BaiXinming Ye
Published in: Int. J. Wirel. Mob. Comput. (2013)
Keyphrases
  • formal model
  • web services
  • similarity measure
  • probabilistic model
  • image compression
  • standard model
  • coloured petri nets