A model-based approach to security flaw detection of network protocol implementations
Discoverer: Automatic protocol reverse engineering from network traces