|
|||||
|
|
| 基于SPIN的网络脆弱性分析 | |
| 引用本文： | 孙守卿.基于SPIN的网络脆弱性分析[J].中国新技术新产品,2008(12). |
| 作者姓名： | 孙守卿 |
| 摘 要： | 计算机脆弱性分析是指找出计算机系统的漏洞,以防危机计算机系统的安全.基于模型检验的分析方法不仅可以发现系统已知的漏洞,也可以发现系统未知的新的漏洞.在本篇文章中,我们利用模型验证器SPIN对网络系统脆弱性做了抽象的描述.建立了一个简单的网络脆弱性分析模型. |
| 关 键 词： | 计算机脆弱性 渗透 模型检验 |
| 本文献已被 万方数据 等数据库收录！ | |