手机知网 App
24小时专家级知识服务
打 开
互联网技术
基于抽象原则和模型检测的网络协议安全分析
提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.
0 40
手机阅读本文
下载APP 手机查看本文
北京邮电大学学报
2021年02期
相似文献
图书推荐
相关工具书

搜 索