Post Office Protocol - Version 3.

John G. Myers Marshall T. Rose

Published in: RFC (1994)

Keyphrases

lightweight
formal analysis
cryptographic protocols
network protocols
coloured petri nets
database
real time
information systems
authentication protocol
tcp ip
office environment
key agreement protocol