A Model-Based Testing Approach for Security Protocols | IEEE Conference Publication | IEEE Xplore