%0 Journal Article
%A 陈海兵
%A 符劲轩
%A 孙罡
%A 虞红芳
%A 王晓楠
%T 基于抽象原则和模型检测的网络协议安全分析
%D 2021
%R 10.13190/j.jbupt.2020-183
%J 北京邮电大学学报
%P 40-46
%V 44
%N 2
%X 提出了一种可以缓解状态空间爆炸的抽象原则，对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简，在尽量不影响验证结果准确度的前提下，降低了模型的复杂度.在此基础上，提出了一种半自动化建模框架，只需用户提供少量必须的输入，不需要学习语法，就可以自动生成具有统一规范的模型，方便研究人员查阅和使用.实验结果表明，采用所提的抽象原则和半自动化建模框架创建的模型，可以验证网络协议的相关属性.
%U https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2020-183