The PHS Protocol.

Michael Purser Chris Horn John Sheehan

Published in: Softw. Pract. Exp. (1984)

Keyphrases

communication protocol
formal analysis
tcp ip
lightweight
cryptographic protocols
data sets
neural network
smart card
security analysis
network protocols