Modeling and Simulation Strategies of Cryptographic Protocols Based on Finite State Machine. - Mingqing Zhang; Shu-qin Dong; Hongshan Kong; Xiao-hu Liu; Hui Guan (ITITS (1), 2015)