计算机A级是 最高的安全级别，称为验证设计级（Verity Design）。在A级中，安全的设计必须给出形式化设计说明和验证，需要有严格的数学推导过程，同时应该包含秘密信道和可信分布的分析。A级要求保证系统的部件来源有安全保证，例如对这些软件和硬件在生产、销售、运输中进行严密跟踪和严格的配置管理，以避免出现安全隐患。主要的安全威胁分为两类：渗入威胁和植入威胁，包括假冒、旁路控制、授权侵犯、特洛伊木马、陷门等。
与计算机等级考试中的A级不同，这里的A级是专门针对计算机系统安全设计的最高标准，而不是一个等级考试级别。