@article{ CHEN Hai-bing:40,
author = {[ CHEN Hai-bing,  FU Jin-xuan,  SUN Gang,  YU Hong-fang, WANG Xiao-nan]},
title = {Network Protocol Security Analysis Based on Abstract Principle and Model Detection},
publisher = {Journal of Beijing University of Posts and Telecommunications},
year = {2021},
journal = {Journal of Beijing University of Posts and Telecommunications},
volume = {44},
number = {2},
eid = {40},
pages = {40-46},
keywords = {model detection;network protocol;abstract principle},
doi = https://journal.bupt.edu.cn/EN/10.13190/j.jbupt.2020-183
}