William H. Allen, Chin Dou, Gerald A. Marin. A Model-based Approach to the Security Testing of Network Protocol Implementations. In LCN 2006, The 31st Annual IEEE Conference on Local Computer Networks, Tampa, Florida, USA, 14-16 November 2006. pages 1008-1015, IEEE Computer Society, 2006. [doi]
Abstract is missing.