Login / Signup

Modeling and Analysis of Security Protocols Using Colored Petri Nets.

Yang XuXiaoyao Xie
Published in: J. Comput. (2011)
Keyphrases
  • colored petri nets
  • petri net
  • security protocols
  • data analysis
  • databases
  • data streams
  • software engineering
  • data management
  • shortest path
  • temporal reasoning