A Model-based Approach to Security Flaw Detection of Network Protocol Implementation (2008)

by Tating Hsu, Guoqiang Shu, David Lee
Venue:In: ICNP’08: Proc. of the 15th IEEE Int. Conf. on Network Protocols