Keyphrases
- lightweight
- remote server
- wide area network
- formal analysis
- coloured petri nets
- international conference
- messages exchanged
- data collection
- databases
- ip address
- cryptographic protocols
- scalable distributed
- network devices
- key distribution
- security protocols
- tcp ip
- data dissemination
- security analysis
- public key
- data center
- wireless networks
- distributed systems
- information retrieval