Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets.
Fernando Rosa-VelardoDavid de Frutos-EscrigPublished in: ATVA (2006)
Keyphrases
- petri net
- security properties
- petri net model
- colored petri nets
- cryptographic protocols
- concurrent systems
- formal methods
- security requirements
- formal model
- security analysis
- security protocols
- discrete event systems
- model checking
- service composition
- stochastic petri net
- symbolic representation
- fuzzy petri net
- information systems
- formal verification
- standard model
- computer systems
- object oriented