HIPOD: An Architecture for High-Speed Protocol Implementations.

A. S. Krishnakumar Joseph G. Kneuer A. J. Shaw

Published in: HPN (1992)

Keyphrases

high speed
frame rate
lightweight
low power
formal analysis
real time
security protocols
coloured petri nets
efficient implementation
tcp ip
cryptographic protocols
communication protocols
network protocols
communication protocol
high speed networks
provably secure
cooperative