Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities.

Published in: ICECCS (2001)

Keyphrases

multiple access
covert channel
multi channel
lightweight
construction process
network protocols
wireless communication
communication systems
multi party
formal analysis
application layer
tcp ip