Verifying a UMTS Protocol Using Spin and EASN.
Matti LuukkainenVivek K. ShanbhagK. GopinathPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- model checking
- cryptographic protocols
- room temperature
- heterogeneous networks
- application layer
- communication protocol
- lightweight
- security model
- authentication protocol
- security protocols
- security analysis
- formal analysis
- mobile users
- wifi
- communication protocols
- network simulator
- security architecture
- coloured petri nets