›› 2011, Vol. 11 ›› Issue (8): 0-0.
• 信息网络安全 •
基于漏洞模型检测的安全漏洞挖掘方法研究
徐有福;文伟平;万正苏
-
-
-
作者简介:
北京大学软件与微电子学院,北京,102600%湖南理工学院数学学院,湖南岳阳4006
-
基金资助:
NULL
Vulnerability-based Model Checking of Security Vulnerabilities Mining Method
XU You-fu%WEN Wei-ping%WAN Zheng-su