Research Article
Modeling and Formal Analysis of Communication Protocols Based on Game
Information Engineering Institute of Nanchang University, Nanchang, Jiangxi, 330031, China
Huaping Gong
Information Engineering Institute of Nanchang University, Nanchang, Jiangxi, 330031, China