摘要
文章通过研究自动机原理,提出了基于漏洞模型检测的安全漏洞挖掘理论,为批量发掘未知漏洞提供一定的理论基础。
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.
出处
《信息网络安全》
2011年第8期72-75,共4页
Netinfo Security
关键词
安全漏洞
自动机
模型检测
security vulnerabilities
automaton
model checking
