TY  - Journal of Beijing University of Posts and Telecommunications
A1  - WANG Xiao-nan, FU Jin-xuan, YU Hong-fang, SUN Gang, CHEN Hai-bing
T1  - Network Protocol Security Analysis Based on Abstract Principle and Model Detection
Y1  - 2021-04-28 00:00:00.0
JF  - Journal of Beijing University of Posts and Telecommunications
JO  - Journal of Beijing University of Posts and Telecommunications
SP  - 40
EP  - 46
VL  - 44
IS  - 2
UR  - {https://journal.bupt.edu.cn/EN/10.13190/j.jbupt.2020-183}
N1  - 10.13190/j.jbupt.2020-183
ER  -