Keyphrases
- data streams
- stream data
- formal analysis
- sliding window
- coloured petri nets
- multi stream
- communication protocol
- lightweight
- data sets
- tcp ip
- communication protocols
- streaming data
- multi party
- distributed systems
- security analysis
- security protocols
- genetic algorithm
- cryptographic protocols
- group communication
- network simulator
- real time