Modules as building blocks for protocol configuration.

Thomas Plagemann Martin Vogt Bernhard Plattner Thomas Walter

Published in: ICNP (1993)

Keyphrases

building blocks
lightweight
coloured petri nets
back end
authentication protocol
software components
formal analysis
security protocols
data sets
wireless networks
key distribution
tcp ip
protocol specification