Modelling the GSM Handover Protocol in CommUnity.
Cristóvão OliveiraMichel WermelingerJosé Luiz FiadeiroAntónia LopesPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- mobile communication
- mobile ipv
- mobility management
- lightweight
- wireless access networks
- wireless communication
- formal analysis
- online communities
- virtual communities
- social networking
- wireless lan
- digital libraries
- base station
- energy efficient
- security protocols
- cryptographic protocols
- remote control
- end to end
- wireless networks