A model-based approach to security flaw detection of network protocol implementations.

Yating Hsu, Guoqiang Shu, David Lee

Browse the full ICNP paper archive.