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

Vulnerability-based Model Checking of Security Vulnerabilities Mining Method

作　　者：徐有福[1] 文伟平[1] 万正苏[2] 

机构地区：[1]北京大学软件与微电子学院,北京102600 [2]湖南理工学院数学学院,湖南岳阳414006

出　　处：《信息网络安全》2011年第8期72-75,共4页Netinfo Security

摘　　要：文章通过研究自动机原理,提出了基于漏洞模型检测的安全漏洞挖掘理论,为批量发掘未知漏洞提供一定的理论基础。The paper though studying automata theory, proposed a vulnerability-based model checking Mining vulnerability theory, as the bulk discover unknown vulnerabilities to provide a theoretical basis.

关 键 词：安全漏洞 自动机 模型检测 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]