Login / Signup

Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.

Roland BourouletRaymond R. DevillersHanna KlaudelElisabeth PelzFranck Pommereau
Published in: Petri Nets (2008)
Keyphrases
  • petri net
  • colored petri nets
  • security protocols
  • concurrent systems
  • stochastic petri net
  • reactive systems
  • state machines
  • data analysis
  • high dimensional
  • intrusion detection
  • petri net model