Proposed Host-Front End Protocol.

Joel Lilienkamp Richard L. Mandell Michael A. Padlipsky

Published in: RFC (1984)

Keyphrases

back end
lightweight
communication protocol
tcp ip
formal analysis
network protocols
security analysis
network simulator
coloured petri nets
data sets
case study
authentication protocol
application layer
cryptographic protocols
ip addresses