基于漏洞模型检测的安全漏洞挖掘方法研究

被引:15
作者
徐有福 [1 ]
文伟平 [1 ]
万正苏 [2 ]
机构
[1] 北京大学软件与微电子学院
[2] 湖南理工学院数学学院
关键词
安全漏洞; 自动机; 模型检测;
D O I
暂无
中图分类号
TP393.08 [];
学科分类号
0839 ; 1402 ;
摘要
文章通过研究自动机原理,提出了基于漏洞模型检测的安全漏洞挖掘理论,为批量发掘未知漏洞提供一定的理论基础。
引用
收藏
页码:72 / 75
页数:4
相关论文
共 2 条
  • [1] 模糊数学及其应用.[M].梁保松; 曹殿立; 主编.科学出版社.2007,
  • [2] 形式语言与自动机.[M].陈文宇;欧齐;程炼编著;.人民邮电出版社.2005,