A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning
[chapter]
2008
Lecture Notes in Computer Science
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in an ad-hoc manner with considerable manual effort, which is mainly due to the unavailability of protocol model. In this paper we present our ongoing work of developing an automated and measurable protocol fuzz testing approach that uses a formally synthesized approximate formal protocol specification to guide the
doi:10.1007/978-3-540-68855-6_19
fatcat:rwlvzbbxwfeulk4qrrlc373rqm