中文摘要：

对现有的脆弱性分析方法进行分析和比较，提出基于可靠性理论的分布式系统脆弱性模型，针对影响分布式系统安全性的各项因素进行脆弱性建模，利用模型检验方法构造系统的脆弱性状态图，描述系统脆弱性的完整利用过程，引入可靠性理论对分布式系统的脆弱性进行分析和量化评估，从而为增强分布式系统的安全性提供理论依据。

英文摘要：

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.