Question

分析操作系统安全性最精确的方法是（ ）。

A.形式化验证
B.非形式化确认
C.入侵分析
D.软件测试

Answer 1

【答案】：A
评测操作系统安全性的方法主要有三种：形式化验证、非形式化确认及入侵分析。分析操作系统安全性最精确的方法是形式化验证。