›› 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   

摘要: NULL

Abstract: NULL