Protocol Notes.

Stephen D. Crocker

Published in: RFC (1970)

Keyphrases

lightweight
cryptographic protocols
network protocols
formal analysis
security protocols
coloured petri nets
databases
multi party
mobile nodes
authentication protocol
communication protocol
note taking