Protocol Conversion.

Paul E. Green Jr.

Published in: IEEE Trans. Commun. (1986)

Keyphrases

lightweight
cryptographic protocols
communication protocol
formal analysis
coloured petri nets
case study
artificial intelligence
group communication
databases
social networks
low cost
key agreement protocol
network protocols
protocol specification