Yating Hsu, Guoqiang Shu, David Lee. A model-based approach to security flaw detection of network protocol implementations. In Proceedings of the 16th annual IEEE International Conference on Network Protocols, 2008. ICNP 2008, Orlando, Florida, USA, 19-22 October 2008. pages 114-123, IEEE, 2008. [doi]
Abstract is missing.