Keyphrases
- wide area network
- messages exchanged
- lightweight
- data center
- communication protocol
- remote server
- ip address
- network devices
- data collection
- cryptographic protocols
- neural network
- state information
- application layer
- formal analysis
- databases
- information retrieval
- scalable distributed
- file transfer
- coloured petri nets
- communication protocols
- tcp ip
- key distribution
- model checking
- distributed systems
- database systems