[单选题]美国国防部安全准则规定的级别中，哪—级规定所有系统部件的来源必须有安全保证?

正确答案 ：A

A1级

解析：解析：A1是最高安全级，表明系统提供了最全面的安全。又称可验证安全设计，形式化的最高级描述和验证，形式化的隐秘通道分析，形式化的代码一致性证明。

[单选题]基于用例的开发方法是用( )驱动开发的。

正确答案 ：A

实例

查看原题