参考答案：A

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