Login / Signup
Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks.
Mihai-Lica Pura
Didier Buchs
Published in:
PNSE @ Petri Nets (2014)
Keyphrases
</>
petri net
ad hoc networks
petri net model
propagation model
colored petri nets
security protocols