分析操作系统安全性最精确的方法是( )。A.形式化验证 B.非形式化确认 C

练习题库2022-08-02  27

问题 分析操作系统安全性最精确的方法是( )。A.形式化验证B.非形式化确认C.入侵分析D.软件测试

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

答案 A

解析 评测操作系统安全性的方法主要有三种:形式化验证、非形式化确认及入侵分析。分析操作系统安全性最精确的方法是形式化验证。
转载请注明原文地址:https://tihaiku.com/congyezige/2414580.html

最新回复(0)