Formal modeling and verification of CTCS-4 security protocol
HU Xiaohui1, CHEN Huili1, SHI Guangtian2, CHEN Yong1
1.School of Electronic and Information Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China
2.School of Art and Design, Lanzhou Jiaotong University, Lanzhou 730070, China
HU Xiaohui1, CHEN Huili1, SHI Guangtian2, CHEN Yong1. Formal modeling and verification of CTCS-4 security protocol[J]. Computer Engineering and Applications, 2014, 50(4): 81-85.