Towards efficient protocol design through protocol profiling and verification of performance and operational metrics.
Stylianos GeorgoulasKlaus MoessnerBruce McaleerRahim TafazolliPublished in: IWCMC (2010)
Keyphrases
- lightweight
- cryptographic protocols
- formal analysis
- protocol specification
- provably secure
- formal proof
- user interface
- model checking
- model checker
- formal methods
- engineering design
- design process
- decision making
- neural network
- formal verification
- tcp ip
- efficient implementation
- end to end
- network protocols
- case study