Login / Signup
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