Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- petri net
- petri net model
- model checking
- lightweight
- formal methods
- colored petri nets
- formal proof
- coloured petri nets
- formal verification
- communication protocols
- network protocols
- application layer
- communication protocol
- authentication protocol
- genetic algorithm
- security protocols
- formal specification
- communication systems