（4）A级别称为验证设计级（Verity Design），是目前最高的安全级别，在A级别中，安全的设计必须给出形式化设计说明和验证，需要有严格的数学推导过程，同时应该包含秘密信道...
基于32个网页-相关网页
A级 A级是橙皮书中规定的最高安全级，又称为验证设计(verity design)，它包括了一个严格的设计、控制和验证过程。与前面 所提到的各级别一样，该级别包含了较低级别的所有特性。
基于12个网页-相关网页
A级或又称验证设计（verity design）是当前橙皮书的最 高级别，它包括了一个严格的设计、控制和验证过程。
基于12个网页-相关网页