期刊文章详细信息
基于漏洞模型检测的安全漏洞挖掘方法研究
Vulnerability-based Model Checking of Security Vulnerabilities Mining Method
文献类型：期刊文章
机构地区：[1]北京大学软件与微电子学院,北京102600 [2]湖南理工学院数学学院,湖南岳阳414006
年 份：2011
期 号：8
起止页码：72-75
语 种：中文
收录情况：JST、RCCSE、ZGKJHX、普通刊
摘 要：文章通过研究自动机原理,提出了基于漏洞模型检测的安全漏洞挖掘理论,为批量发掘未知漏洞提供一定的理论基础。
关 键 词：安全漏洞 自动机 模型检测
分 类 号：TP393.08]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
