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

• 作者: 王晓楠 符劲轩 虞红芳 孙罡 陈海兵
• 来源期刊: 北京邮电大学学报
• 关键词: 模型检测 网络协议 抽象原则
• 年，卷（期）: 2021,（2）
• 所属期刊栏目: 未来网络体系架构和关键技术专题|The Special Issue on Future Network Architecture and Key Technologies
• 页码范围: 40-46
• 页数: 7页
• 分类号: TN918.9
• 语种: 中文
• DOI: 10.13190/j.jbupt.2020-183

摘要

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