Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning

Guoqiang Shu, Yating Hsu, David Lee. Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning. In Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings. Volume 5048 of Lecture Notes in Computer Science, pages 299-304, Springer, 2008. [doi]

Authors

Guoqiang Shu

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

Yating Hsu

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

David Lee

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