TY  - 北京邮电大学学报
A1  - 王晓楠, 符劲轩, 虞红芳, 孙罡, 陈海兵
T1  - 基于抽象原则和模型检测的网络协议安全分析
Y1  - 2021-04-28 00:00:00.0
JF  - 北京邮电大学学报
JO  - 北京邮电大学学报
SP  - 40
EP  - 46
VL  - 44
IS  - 2
UR  - {https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2020-183}
N1  - 10.13190/j.jbupt.2020-183
ER  -