A Model-based Approach to the Security Testing of Network Protocol Implementations | IEEE Conference Publication | IEEE Xplore