Login / Signup
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.
Roland Bouroulet
Raymond R. Devillers
Hanna Klaudel
Elisabeth Pelz
Franck 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