A Computer Security Risk Analysis Model Based on Graph Rewriting System
一种基于图重写的计算机安全风险分析系统

The computer security risk analysis model bases on term rewriting comes out with the result immediately form algebra signature, ignoring the reduction procedure of related attack, providing no unified view of decisions and attacks, making it easy to propagation threat. This paper introduces graph rewriting into this model, and proves the new risk analysis system to be terminating. Also a new decision selection method is put forward with the help of the graph rewriting rule. Basing on the algorithm of the weighted vertex cover algorithm, this paper presents a new method of decision selection with the same time complexity and more benefit.