A Model-based Approach to the Security Testing of Network Protocol Implementations. - William H. Allen; Chin Dou; Gerald A. Marin (LCN, 2006)