An Exercise in Protocol Synthesis.

Peter van Eijk J. Schot

Published in: FORTE (1991)

Keyphrases

lightweight
communication protocol
formal analysis
cryptographic protocols
texture synthesis
group communication
key exchange protocol
coloured petri nets
real time
data sets
search engine
case study
multi party
application layer
network protocols