参考答案：A

解析： 本题考查安全评估准则的知识。美国国防部和国家标准局的可信任计算机系统评估准则(TCSEC)于1983年首次出版，称为橘皮书。随后对橘皮书作了补充，这就是著名的红皮书。该准则定义了4个级别：A、 B、C、D，各级别还可进一步划分。其中最高安全级A1(即A级)称为可验证安全设计，因此选项A正确。