2.4.2 形式化建模在等级保护测评研究中的应用