排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
孙守卿 《中国新技术新产品》2008,(17):16-16
计算机脆弱性分析是指找出计算机系统的漏洞,以防危机计算机系统的安全。基于模型检验的分析方法不仅可以发现系统已知的漏洞,也可以发现系统未知的新的漏洞。在本篇文章中,我们利用模型验证器SPIN对网络系统脆弱性做了抽象的描述。建立了一个简单的网络脆弱性分析模型。 相似文献
2.
孙守卿 《中国新技术新产品》2008,(12)
计算机脆弱性分析是指找出计算机系统的漏洞,以防危机计算机系统的安全.基于模型检验的分析方法不仅可以发现系统已知的漏洞,也可以发现系统未知的新的漏洞.在本篇文章中,我们利用模型验证器SPIN对网络系统脆弱性做了抽象的描述.建立了一个简单的网络脆弱性分析模型. 相似文献
1