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

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]

Authors

Yating Hsu

This author has not been identified. Look up 'Yating Hsu' in Google

Guoqiang Shu

This author has not been identified. Look up 'Guoqiang Shu' in Google

David Lee

This author has not been identified. Look up 'David Lee' in Google