基于漏洞模型检测的安全漏洞挖掘方法研究
徐有福;文伟平;万正苏
Vulnerability-based Model Checking of Security Vulnerabilities Mining Method
信息网络安全 . 2011, (8): 0 -0 .