Text this: A Model Based Security Testing Method for Protocol Implementation