Abstract: 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 propa

Key words: Risk analysis, Graph rewriting, Termination, Vertex cover