Middlebox Communications (MIDCOM) Protocol Semantics.

Martin Stiemerling Jürgen Quittek Tom Taylor

Published in: RFC (2005)

Keyphrases

multiple access
group communication
lightweight
formal semantics
communication networks
correctness criterion
formal analysis
network protocols
cryptographic protocols
security analysis
communication systems
conceptual model
semantic information
transformation rules
application layer
real time
neural network