A survey of X protocol multiplexors.
John Eric BaldeschwielerThomas GutekunstBernhard PlattnerPublished in: Comput. Commun. Rev. (1993)
Keyphrases
- formal analysis
- cryptographic protocols
- lightweight
- communication protocol
- coloured petri nets
- multiple access
- multi party
- model checking
- authentication protocol
- real time
- key distribution
- tcp ip
- low cost
- communication protocols
- group communication
- decision trees
- network protocols
- protocol specification
- genetic algorithm