Login / Signup
Automatic protocol field inference for deeper protocol understanding.
Ignacio Bermudez
Alok Tongaonkar
Marios Iliofotou
Marco Mellia
Maurizio M. Munafò
Published in:
Networking (2015)
Keyphrases
</>
lightweight
formal analysis
semi automatic
security protocols
network simulator
coloured petri nets
information systems
knowledge base
metadata
fully automatic
provably secure
key agreement protocol