A model checking-based framework for testing security properties of protocols under development. - Jiangyuan Yao; Weiyang Xin; Xia Yin; Xingang Shi; Zhiliang Wang; Li Zhou; Ting Jin (Comput. Networks, 2025)