@article{ 陈海兵:40,
author = {[ 陈海兵,  符劲轩,  孙罡,  虞红芳, 王晓楠]},
title = {基于抽象原则和模型检测的网络协议安全分析},
publisher = {北京邮电大学学报},
year = {2021},
journal = {北京邮电大学学报},
volume = {44},
number = {2},
eid = {40},
pages = {40-46},
keywords = {模型检测;网络协议;抽象原则},
doi = https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2020-183
}