Toward efficient protocol design through protocol profiling and performance assessment: using formal verification in a different context.
Stylianos GeorgoulasKlaus MoessnerPublished in: Int. J. Commun. Syst. (2012)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- lightweight
- cryptographic protocols
- formal methods
- provably secure
- bounded model checking
- automated verification
- formal analysis
- contextual information
- user interface
- functional verification
- context aware
- authentication protocol
- communication protocol
- case study