Keyphrases
- interprocess communication
- lightweight
- coloured petri nets
- network protocols
- formal analysis
- video conferencing
- case study
- cryptographic protocols
- communication protocol
- tcp ip
- security protocols
- file transfer
- group communication
- application layer
- real time
- cooperative
- e learning
- genetic algorithm
- neural network
- data sets