A Model-based Approach to the Security Testing of Network Protocol Implementations.

William H. Allen, Chin Dou, Gerald A. Marin

Browse the full LCN paper archive.