Journal of Beijing University of Posts and Telecommunications

  • EI核心期刊
Network Protocol Security Analysis Based on Abstract Principle and Model Detection
WANG Xiao-nan, FU Jin-xuan, YU Hong-fang, SUN Gang, CHEN Hai-bing
Journal of Beijing University of Posts and Telecommunications . 2021, (2): 40 -46 .  DOI: 10.13190/j.jbupt.2020-183