摘要
对现有的脆弱性分析方法进行分析和比较,提出基于可靠性理论的分布式系统脆弱性模型.针对影响分布式系统安全性的各项因素进行脆弱性建模,利用模型检验方法构造系统的脆弱性状态图,描述系统脆弱性的完整利用过程,引入可靠性理论对分布式系统的脆弱性进行分析和量化评估,从而为增强分布式系统的安全性提供理论依据.
After the analysis and comparison of the existing vulnerability analysis methods, a new vulnerability model of distributed systems based on reliability theory is proposed. First, it models vulnerabilities of distributed systems from the aspects of security-related factors. Then it utilizes the model checking method to build Vulnerability State Graph （VSG） of distributed systems to depict the complete process of exploitation of vulnerabilities. Finally, it introduces reliability theory to perform analysis and quantitative evaluation of vulnerabilities of distributed systems, which provides a theoretical evidence for security enhancement.
出处
《软件学报》
EI
CSCD
北大核心
2006年第7期1633-1640,共8页
Journal of Software
基金
国家自然科学基金
国家重点基础研究发展规划(973)~~
关键词
分布式系统
脆弱性模型
脆弱性状态图
可靠性
可靠度函教
distributed system
vulnerability model
vulnerability state graph
reliability
reliability function
