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

@inproceedings{Shu2008DetectingCP,
  title={Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning},
  author={Guoqiang Shu and Yating Hsu and David Lee},
  booktitle={FORTE},
  year={2008}
}
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… CONTINUE READING
BETA

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…