基于抽象原则和模型检测的网络协议安全分析

摘要：

提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.

关键词：模型检测、网络协议、抽象原则

所属期刊栏目：44

分类号：TN918.9

资助基金：国家重点研发计划2019YFB1802800

在线出版日期：2021-05-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：40-46